summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2023-09-26Don't store lazyness in DefKindMichael Goulet-2/+2
2023-09-24Remove span from BrAnon.Camille GILLOT-3/+3
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-15/+3
2023-09-22Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obkbors-1/+1
2023-09-22Add note to is_known_rigidMichael Goulet-0/+5
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-1/+1
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-1/+1
2023-09-19Don't resolve generic instances if they may be shadowed by dynMichael Goulet-0/+27
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-2/+2
2023-09-12Auto merge of #115699 - RalfJung:interpret-abi-compat, r=oli-obkbors-1/+3
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-0/+14
2023-09-10Implement fallback for effect paramDeadbeef-0/+14
2023-09-09fix ptr_metadata_ty for DynStar typeRalf Jung-1/+3
2023-09-06make comments less crypticouz-a-1/+1
2023-08-16Don't ICE in is_trivially_sized when encountering late-bound self tyMichael Goulet-2/+2
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