summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
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
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-3/+3
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-3/+3
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+5
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-1/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+4
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-25Don't normalize obligations in WF goal for the new solverMichael Goulet-2/+30
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-5/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 17:56:02 +0000