about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/instance.rs
AgeCommit message (Expand)AuthorLines
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-9/+7
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-81/+81
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+3
2023-07-05Winnow specializing implsMichael Goulet-2/+2
2023-06-05cleanup some skip_binder -> subst_identityKyle Matsuda-1/+1
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-1/+1
2023-05-06changes from review: add FIXME to clippy and change subst_identity to skip_bi...Kyle Matsuda-3/+3
2023-05-06make subst_mir take EarlyBinderKyle Matsuda-3/+4
2023-05-06use EarlyBinder in tcx.(try_)subst_mir_and_normalize_erasing_regionsKyle Matsuda-6/+6
2023-05-06make (try_)subst_and_normalize_erasing_regions take EarlyBinderKyle Matsuda-3/+3
2023-05-06More robust debug assertions for `Instance::resolve` on built-in traits with ...Michael Goulet-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-74/+28
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-1/+16
2023-03-27Add a builtin `FnPtr` traitlcnr-3/+15
2023-03-21Use local key in providersMichael Goulet-1/+5
2023-03-18Implement FixedSizeEncoding for UnusedGenericParams.Camille GILLOT-0/+14
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-5/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-3/+3
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+2
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2023-01-09Use newtype for unused generic parametersNilstrieb-2/+36
2022-12-11bug! with a better error message for failing Instance::resolveMichael Goulet-1/+16
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-18Make "long type" printing type awareEsteban Küber-20/+37
2022-11-04Some tracing and comment cleanupsOli Scherer-2/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-4/+2
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-1/+1
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-1/+1
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-1/+1
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-7/+7
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+3
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-06-30Recover when failing to normalize closure signature.Camille GILLOT-5/+6
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-1/+0
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-2/+6
2022-05-10Introduce EarlyBinderJack Huey-2/+6
2022-05-10only_local: always check for misuselcnr-2/+3
2022-05-09reviewlcnr-2/+1
2022-05-09only compute `codegen_fn_attrs` where neededlcnr-1/+2
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1