about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/variance/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-03compiler: inline 1-2 query provide fn in hir_analysis and hir_typeckJubilee Young-7/+2
2025-04-07Restrict some queries by def-kind moreMichael Goulet-3/+7
2025-02-24hir_analysis: skip self type of host effect predsDavid Wood-0/+4
2025-01-31Remove `xform` submodule.Nicholas Nethercote-3/+0
2024-10-10Add variances to RPITITsMichael Goulet-5/+44
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-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+3
2024-06-20Slightly refactor the dumping of HIR analysis dataLeón Orell Valerian Liehr-2/+1
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+1
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-1/+1
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-9/+1
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-8/+5
2024-02-12Dejargnonize substShoyu Vanilla-4/+4
2024-01-14Use zip_eq to enforce that things being zipped have equal sizesMichael Goulet-1/+2
2023-11-14finish `RegionKind` renamelcnr-1/+1
2023-10-03Optimize some `alloc_from_iter` call sites.Nicholas Nethercote-1/+1
2023-09-26Don't store lazyness in DefKindMichael Goulet-4/+2
2023-08-30Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"Oli Scherer-1/+9
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-3/+2
2023-08-03Compute variances for lazy type aliasesLeón Orell Valerian Liehr-1/+9
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+0
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-13/+13
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-9/+1
2023-07-07Remove variances_of on RPITIT gats, remove its one use-caseMichael Goulet-9/+3
2023-06-29Properly implement variances_of for RPITIT GATSantiago Pastorino-9/+15
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-8/+5
2023-06-19s/Clause/ClauseKindMichael Goulet-3/+3
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-2/+1
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-1/+1
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-1/+1
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-21Use local key in providersMichael Goulet-3/+3
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-4/+8
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+2
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Workaround issue #107747Alan Egerton-1/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-1/+1
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-2/+2
2022-12-13Address a few more nitsMichael Goulet-5/+6
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-4/+4