about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
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
2023-01-19Encode whether foreign opaques are TAITs or notMichael Goulet-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-1/+1
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-2/+2
2022-12-15Rollup merge of #105694 - ouz-a:issue_105689, r=estebankMatthias Krüger-13/+15
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-14skip if val has ecaping bound varsouz-a-13/+15
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 04:11:15 +0000