pub fn typeck<'tcx>(_: TyCtxt<'tcx>, key: &typeck<'tcx>) -> bool