about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/variance/constraints.rs
AgeCommit message (Expand)AuthorLines
2025-09-17Remove `DynKind`León Orell Valerian Liehr-1/+1
2025-05-27Fix some var namesMichael Goulet-4/+4
2025-05-27Rename unpack to kindMichael Goulet-3/+3
2025-04-29Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwUTrevor Gross-6/+20
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+5
2025-04-28Split out various pattern type matches into their own functionOli Scherer-6/+15
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
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
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+5
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-4/+4
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-04-14Don't leak unnameable types in -> _ recoverMichael Goulet-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+14
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-2/+2
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-1/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+2
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-3/+5
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-26Don't store lazyness in DefKindMichael Goulet-6/+4
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-5/+1
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-5/+4
2023-08-03Compute variances for lazy type aliasesLeón Orell Valerian Liehr-3/+25
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-20/+20
2023-04-21Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-2/+2
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-1/+1
2023-02-09Introduce `ReError`Esteban Küber-0/+2
2023-01-28Rollup merge of #107339 - aliemjay:covariant, r=lcnrMatthias Krüger-5/+3
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-6/+6
2023-01-27update comment on trait objectsAli MJ Al-Nasrawy-1/+1
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+5
2023-01-27internally change regions to be covariantAli MJ Al-Nasrawy-5/+3
2022-12-13Combine identical alias armsMichael Goulet-5/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-2/+2
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+445
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 11:09:25 +0000