about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+3
2024-11-25Simplify object_region_boundsMichael Goulet-29/+7
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+5
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-16/+23
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-1/+1
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+6
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-2/+14
2024-07-05Use `ControlFlow` results for visitors that are only looking for a single valueOli Scherer-2/+0
2024-07-03Auto merge of #123737 - compiler-errors:alias-wf, r=lcnrbors-9/+3
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-05-21Okay actually check only alias TYPESMichael Goulet-9/+3
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-1/+1
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-7/+10
2024-05-13Apply nitsMichael Goulet-25/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-7/+34
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-5/+1
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-2/+5
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-2/+5
2024-05-10Name tweaksMichael Goulet-2/+2
2024-05-10More rename falloutMichael Goulet-2/+2
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-3/+3
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-19/+20
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 03:18:34 +0000