about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/ty.rs
AgeCommit message (Expand)AuthorLines
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-4/+4
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+2
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-23no more Reveal :(lcnr-5/+6
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-5/+1
2024-11-04ty::KContainer -> ty::AssocItemContainer::KMichael Goulet-1/+1
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-1/+1
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-6/+7
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+9
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+4
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-2/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_ty_utils`.Nicholas Nethercote-0/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-2/+2
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_ty_utils`.Nicholas Nethercote-0/+1
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-15/+17
2024-04-16Fail candidate assembly for erroneous typesGurinder Singh-2/+2
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-03-18address nitsLukas Markeffsky-7/+4
2024-03-14clean up ADT sized constraint computationLukas Markeffsky-70/+67
2024-03-14make `Representability::Infinite` carry `ErrorGuaranteed`Lukas Markeffsky-2/+2
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-3/+2
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-7/+3
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-3/+4
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-1/+3
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-2/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-11-20Reduce exposure of some items.Nicholas Nethercote-1/+1
2023-11-15Re-format code with new rustfmtMark Rousskov-5/+1
2023-11-13rename `ReLateBound` to `ReBound`lcnr-2/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-20Adjust importsMichael Goulet-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-10/+24
2023-09-29a small wf and clause cleanuplcnr-5/+4
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-7/+1
2023-09-21Record asyncness span in HIRMichael Goulet-2/+5
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-8/+5
2023-08-01Fix a commentMichael Goulet-1/+2
2023-08-01don't create a predicate for just a comparisonMichael Goulet-4/+10
2023-08-01Convert adt_sized_constraint to early-binder, use listMichael Goulet-4/+7
2023-07-31Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorinoMatthias Krüger-2/+4
2023-07-31We don't need impl_trait_in_trait_parent_fn anymoreMichael Goulet-2/+4
2023-07-30Don't install default projection bound for RPITITsMichael Goulet-1/+3
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-77/+1
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-2/+2
2023-07-17Remove `instance_def_size_estimate` query.Nicholas Nethercote-17/+0
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-15/+13
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-8/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 10:15:28 +0000