about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/constrained_generic_params.rs
AgeCommit message (Expand)AuthorLines
2025-04-24Remove `weak` alias terminologyBoxy-4/+4
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-2/+1
2025-03-15Fold visit into tyMichael Goulet-2/+1
2025-03-15Squash fold into tyMichael Goulet-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-5/+5
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-2/+2
2024-05-13split out AliasTy -> AliasTermMichael Goulet-2/+2
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-8/+6
2024-02-20Use expand_weak_alias_tys when collecting constrained generics params in implsLeón Orell Valerian Liehr-34/+19
2024-02-17Properly check constrainedness of gen params in the presence of weak alias typesLeón Orell Valerian Liehr-10/+33
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2023-11-14finish `RegionKind` renamelcnr-3/+3
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-08-12Opaques do not constrain generic paramsMichael Goulet-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-4/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-1/+2
2022-10-10Fix compiler docsGuillaume Gomez-3/+7
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+221