summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/variance/mod.rs
AgeCommit message (Expand)AuthorLines
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
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-5/+6
2022-12-04Recurse into nested impl-trait when computing variance.Camille GILLOT-4/+38
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-5/+8
2022-11-14Typo.Camille GILLOT-1/+1
2022-11-12Compute variance for opaques too.Camille GILLOT-2/+92
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+63