about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-2/+2
2023-08-02Remove constness from `TraitPredicate`Deadbeef-14/+2
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-16/+10
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-5/+0
2023-07-20Don't translate compiler-internal bug messagesOli Scherer-2/+1
2023-07-16Add support for inherent projectionsMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-181/+171
2023-07-11Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errorsbors-8/+14
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-5/+1
2023-07-06Add a new trait to `Debug` things with an infcx availableBoxy-8/+14
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-5/+393
2023-07-05move `ConstKind` to typeir and move inherent impls to `Const`Boxy-0/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-1/+1
2023-06-21Print def_id on EarlyBoundRegion debugSantiago Pastorino-1/+1
2023-06-19change binders from tuple structs to named fieldslcnr-30/+32
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-1/+1
2023-05-30Auto merge of #112075 - WaffleLapkin:unmkII, r=lcnrbors-2/+99
2023-05-29Rollup merge of #111988 - BoxyUwU:make_tykind_debug_good, r=compiler-errorsMatthias Krüger-1/+2
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-2/+99
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-26better `TyKind::Debug`Boxy-1/+2
2023-05-14Erase ReError properlyMichael Goulet-1/+3
2023-05-13Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compile...Dylan DPC-1/+1
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-1/+1
2023-05-12Don't ICE in layout computation for placeholder typesMichael Goulet-4/+2
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-10/+41
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-21/+53
2023-05-03Rollup merge of #105452 - rcvalle:rust-cfi-3, r=bjorn3Manish Goregaokar-0/+7
2023-05-03Add cross-language LLVM CFI support to the Rust compilerRamon de C Valle-0/+7
2023-04-27Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger-1/+1
2023-04-26Don't return a `Binder` from `TraitRef::identity`Maybe Waffle-6/+2
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-0/+12
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-4/+4
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
2023-04-25vars are ?Michael Goulet-1/+1
2023-04-25Rename `TraitRef::{_use_mk_trait_ref_instead => _use_trait_ref_new_instead}`Maybe Waffle-3/+3
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-8/+13
2023-04-25Move `TraitRef` constructors to the topMaybe Waffle-14/+14
2023-04-25Add `ty::TraitRef::{new, from_lang_item}`Maybe Waffle-0/+19
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-13Remove some unused type folders.Nicholas Nethercote-77/+2
2023-04-13Make `Region::as_var` infallible.Nicholas Nethercote-3/+3
2023-04-11Add `sym::anon`.Nicholas Nethercote-1/+1
2023-04-11Introduce `Region::get_name_or_anon`.Nicholas Nethercote-5/+10
2023-04-10Auto merge of #108698 - IntQuant:issue-100717-infer-6, r=davidtwcobors-8/+24
2023-04-10Call `into_diagnostic_arg` on Binder's contained value directly.IQuant-3/+21
2023-04-09Remove identity castsNilstrieb-1/+1