fn typeck<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> &'_ TypeckResults<'tcx>