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