about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-1/+1
2025-03-06Avoid having to handle an `Option` in the type systemOli Scherer-6/+2
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-13/+8
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
2025-02-13Use BikeshedGuaranteedNotDrop in unsafe binder type WF tooMichael Goulet-1/+4
2025-02-06Prevent generic pattern types from being used in libstdOli Scherer-2/+42
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-2/+19
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-4/+6
2025-01-31Enforce unsafe binders must be Copy (for now)Michael Goulet-2/+19
2025-01-28Properly check that array length is valid type during built-in unsizing in indexMichael Goulet-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 07:14:47 +0000