about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
2025-09-17Remove `DynKind`León Orell Valerian Liehr-1/+1
2025-07-15Implement other logicstiif-0/+2
2025-07-13Retire hir::*ItemRef.Camille GILLOT-2/+2
2025-06-16trait_sel: skip `nominal_obligations` for `Sized`David Wood-0/+8
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-2/+2
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-01Set groundwork for proper const normalizationBoxy-6/+14
2025-04-29Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwUTrevor Gross-37/+47
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-1/+1
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+5
2025-04-28Split out various pattern type matches into their own functionOli Scherer-37/+42
2025-04-26convert some `GenericArg` to `Term`lcnr-46/+34
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-23Module docsBoxy-0/+5
2025-04-23Rename `compute_x` methodsBoxy-31/+43
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-10 14:14:13 +0000