about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
2024-04-25Renamed DerivedObligation to WellFormedDeriveObligationMichael Goulet-1/+1
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+4
2024-04-05ping on wf changes, remove fixmelcnr-2/+0
2024-04-04rebaseBoxy-2/+2
2024-04-04check `FnDef` return type for WFlcnr-7/+21
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+1
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-14Consolidate WF for aliasesMichael Goulet-20/+8
2024-03-08Replace `TypeWalker` usage with `TypeVisitor`Shoyu Vanilla-300/+301
2024-03-04address review feedbackLukas Markeffsky-2/+5
2024-03-04adjust obligation spans for super projectionsLukas Markeffsky-35/+57
2024-02-19split `project` into multiple fileslcnr-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-06More comments, final tweaksMichael Goulet-1/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+8
2023-12-06Only check principal trait ref for object safetyMichael Goulet-10/+7
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-12Small improvements in object lifetime default codeNilstrieb-7/+2
2023-10-20s/generator/coroutine/Oli Scherer-2/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-13Format all the let chains in compilerMichael Goulet-3/+3
2023-09-29a small wf and clause cleanuplcnr-30/+22
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+0
2023-08-02Remove constness from `TraitPredicate`Deadbeef-33/+7
2023-07-17Rollup merge of #113539 - agnarrarendelle:master, r=workingjubileeMatthias Krüger-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-36/+35
2023-07-12fixed typosagnarrarendelle-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-0/+10
2023-07-04extend commentlcnr-0/+5
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-0/+5
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-4/+2
2023-06-26TypeWellFormedInEnvMichael Goulet-2/+3
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-19/+8
2023-06-23Don't emit same goal as input during wf obligationsMichael Goulet-2/+9
2023-06-19s/Clause/ClauseKindMichael Goulet-25/+32
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-6/+8
2023-06-17Move WF goal to clauseMichael Goulet-6/+10
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+5
2023-05-04IAT: Proper WF computationLeón Orell Valerian Liehr-31/+56
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+3
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+2
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+15
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-1/+1
2023-04-19small type system cleanuplcnr-20/+11
2023-04-06Make elaborator genericMichael Goulet-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-23 12:13:12 +0000