about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/trait_goals.rs
AgeCommit message (Expand)AuthorLines
2023-06-19initial info dumpBoxy-164/+185
2023-06-17Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errorsbors-1/+1
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+1
2023-06-15Make assumption functions in new solver take clauseMichael Goulet-5/+5
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-1/+1
2023-05-23Don't ICE when computing PointerLike trait when region vars are in param-envMichael Goulet-5/+9
2023-05-09Consolidate the 'match assumption' type methods in GoalKindMichael Goulet-68/+3
2023-05-09Make alias bounds sound in the new solverMichael Goulet-0/+24
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-16/+9
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-1/+1
2023-04-25Remove some useless `ty::Binder::dummy` callsMaybe Waffle-20/+5
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-15/+23
2023-04-24Consider polarity in new solverMichael Goulet-3/+69
2023-04-24Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-...Matthias Krüger-3/+7
2023-04-19Remove find_map_relevant_implMichael Goulet-3/+7
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-14Move auto trait built-in candidate disqualification to a separate methodMichael Goulet-77/+93
2023-04-14Assemble Unpin candidates specially for generators in new solverMichael Goulet-1/+18
2023-04-11Rollup merge of #110126 - compiler-errors:new-solver-safe-transmute, r=oli-obkMichael Goulet-0/+29
2023-04-10Support safe transmute in new solverMichael Goulet-0/+29
2023-04-10Stall auto-trait assembly for int/float vars in new solverMichael Goulet-18/+60
2023-04-10move `structural_traits` into `assembly`lcnr-3/+2
2023-04-08Enforce that PointerLike requires a pointer-like ABIMichael Goulet-2/+1
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-0/+1
2023-03-29Introduce `DeepRejectCtxt::substs_refs_may_unify`.Nicholas Nethercote-5/+4
2023-03-27Add a builtin `FnPtr` traitlcnr-3/+13
2023-03-24Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnrMatthias Krüger-0/+14
2023-03-22Implement non-const Destruct trait in new solverMichael Goulet-0/+14
2023-03-21new solver cleanup + coherencelcnr-3/+24
2023-03-17replace chain with two `add_goal`Boxy-16/+11
2023-03-17fix let else unformattingBoxy-5/+9
2023-03-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-62/+60
2023-03-13Better names?Michael Goulet-1/+1
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-1/+7
2023-03-10Move some solver stuff to middleMichael Goulet-2/+2
2023-02-25Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnrMichael Goulet-0/+40
2023-02-24Make higher-ranked projections in object types work in new solverMichael Goulet-1/+2
2023-02-24Check object's supertrait and associated type bounds in new solverMichael Goulet-0/+39
2023-02-24Rename many interner functions.Nicholas Nethercote-5/+7
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-21/+19
2023-02-18Add consider_implied_clauseMichael Goulet-26/+26
2023-02-18Check that built-in callable types validate their output type is `Sized` (in ...Michael Goulet-7/+18
2023-02-17Remove the `InternIteratorElement` impl for `&'a T`.Nicholas Nethercote-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-09Rollup merge of #107815 - compiler-errors:new-solver-no-auto-if-impl, r=lcnrDylan DPC-0/+14
2023-02-09Disqualify auto-trait builtin impl in new solver if impl existsMichael Goulet-0/+14
2023-02-09Move winnowing to assemblyMichael Goulet-77/+3
2023-02-09Implement a dummy drop-in-favor-of for the new solverMichael Goulet-11/+18
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 13:20:51 +0000