about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/variance
AgeCommit message (Expand)AuthorLines
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-03-11Revert "Auto merge of #122140 - oli-obk:track_errors13, r=davidtwco"Oli Scherer-5/+8
2024-03-11Never bail out early while running all the type check queriesOli Scherer-8/+5
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-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+2
2024-01-17Stop using track_errors for some forever unstable rustc_attr analysesOli Scherer-5/+8
2024-01-14Use zip_eq to enforce that things being zipped have equal sizesMichael Goulet-1/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-11-14finish `RegionKind` renamelcnr-3/+3
2023-11-13rename `ReLateBound` to `ReBound`lcnr-3/+5
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-03Optimize some `alloc_from_iter` call sites.Nicholas Nethercote-1/+1
2023-09-26Don't store lazyness in DefKindMichael Goulet-14/+8
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-5/+1
2023-08-30Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"Oli Scherer-1/+9
2023-08-28Test variances of opaque capturesMichael Goulet-0/+15
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-11/+8
2023-08-03Compute variances for lazy type aliasesLeón Orell Valerian Liehr-5/+41
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+0
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-2/+2
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-34/+34
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-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-2/+1
2023-04-21Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer-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-4/+4
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-4/+8
2023-03-07Rollup merge of #108460 - obeis:hir-analysis-migrate-diagnostics-2, r=compile...Matthias Krüger-1/+6
2023-03-05migrate `rustc_hir_analysis` to session diagnosticObei Sideg-1/+6
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+2
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-3/+3
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-3/+3
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