about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2023-04-27rename `needs_infer` to `has_infer`Boxy-11/+12
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-6/+1
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-5/+7
2023-04-26Remove some more useless `ty::Binder::dummy` callsMaybe Waffle-5/+2
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-4/+4
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-18/+32
2023-04-24Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-...Matthias Krüger-5/+17
2023-04-20Remove WithOptconstParam.Camille GILLOT-2/+1
2023-04-19Rollup merge of #110510 - bryangarza:issue-110467-safe-transmute, r=compiler-...Matthias Krüger-1/+1
2023-04-19Remove find_map_relevant_implMichael Goulet-5/+17
2023-04-18Fix ICE for transmutability in candidate assemblyBryan Garza-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-23/+25
2023-04-10Fix typos in compilerDaniPopes-2/+2
2023-04-08Enforce that PointerLike requires a pointer-like ABIMichael Goulet-8/+7
2023-04-07Switched provisional evaluation cache map to FxIndexMap, and replaced map.dra...Andrew Xie-15/+9
2023-04-06Remove index from BrAnonJack Huey-2/+2
2023-04-03Never consider int and float vars for `FnPtr` candidatesNilstrieb-8/+14
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-0/+1
2023-03-29Inline and remove `SelectionContext::fast_reject_trait_refs`.Nicholas Nethercote-18/+4
2023-03-29Introduce `DeepRejectCtxt::substs_refs_may_unify`.Nicholas Nethercote-2/+4
2023-03-28Auto merge of #109692 - Nilstrieb:rollup-hq65rps, r=Nilstriebbors-78/+86
2023-03-28Rollup merge of #102472 - lcnr:static-in-eval, r=jackh726nils-78/+86
2023-03-27Add a builtin `FnPtr` traitlcnr-6/+146
2023-03-23Use fulfillment in InferCtxt::evaluate_obligationMichael Goulet-0/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-2/+2
2023-03-22stop special-casing `'static` in evaluatelcnr-78/+86
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-87/+41
2023-03-21Deduplicate fn trait compatibility checksOli Scherer-20/+7
2023-03-21Only implement Fn* traits for extern "Rust" safe function pointers.Oli Scherer-0/+3
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-52/+19
2023-03-21remove some trait solver helperslcnr-35/+22
2023-03-15always make `define_opaque_types` explicitlcnr-20/+27
2023-03-13Better names?Michael Goulet-2/+2
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-0/+2
2023-03-11Use TyCtxt::trait_solver_next in some placesMichael Goulet-7/+6
2023-03-10Rollup merge of #108937 - lcnr:winnowing-enum, r=WaffleLapkinMatthias Krüger-40/+67
2023-03-10Rollup merge of #108834 - compiler-errors:fn-ptr-fn-obl, r=spastorinoMatthias Krüger-3/+11
2023-03-10updating commentlcnr-1/+1
2023-03-09improve readability of winnowinglcnr-39/+66
2023-03-08fix: evaluate with wrong obligation stackyifei-2/+2
2023-03-06Do not ICE when we have fn pointer Fn obligations with bound vars in the self...Michael Goulet-3/+11
2023-03-05Rollup merge of #108744 - compiler-errors:non_lifetime_binders-bad-copy-clone...Matthias Krüger-5/+6
2023-03-04Don't ICE when encountering bound var in builtin copy/clone boundsMichael Goulet-5/+6
2023-03-03Match unmatched backticks in comments in compiler/est31-2/+2
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-02-25Treat `str` as containing `[u8]` for auto trait purposesMichael Goulet-1/+3
2023-02-24Rename many interner functions.Nicholas Nethercote-8/+9
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-2/+2