Function typeck 

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