summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-2/+2
2023-05-24Rollup merge of #111880 - compiler-errors:pointer-like-param-env, r=jackh726Matthias Krüger-5/+7
2023-05-23Don't ICE when computing PointerLike trait when region vars are in param-envMichael Goulet-5/+7
2023-05-19update recursion depth in `confirm_candidate`lcnr-0/+6
2023-05-19Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726bors-3/+11
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-3/+9
2023-05-12do not allow inference in `pred_known_to_hold_modulo_regions`Michael Goulet-1/+2
2023-05-12EvaluateToAmbig if evaluate_root_obligation does inferenceMichael Goulet-3/+10
2023-05-12Note base types of coercionMichael Goulet-32/+25
2023-05-09Rename `expected_trait_ref` to `self_ty_trait_ref`Nilstrieb-2/+2
2023-05-09Shrink `SelectionError` a lotNilstrieb-1/+8
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-3/+3
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-18/+26
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-0/+5
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+2
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+5
2023-04-27rename `needs_subst` to `has_param`Boxy-1/+1
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