rust/compiler/rustc_middle/src/ty
Matthias Krüger 774655da5f
Rollup merge of #93977 - compiler-errors:sized-generic-metadata, r=wesleywiser
Type params and assoc types have unit metadata if they are sized

Extend the logic in `Pointee` projection to ensure that we can satisfy `<T as Pointee>::Metadata = ()` if `T: Sized`.

cc: `@SimonSapin` and #93959
2022-03-14 17:24:57 +01:00
..
consts rename ErrorReported -> ErrorGuaranteed 2022-03-02 09:45:25 -06:00
inhabitedness Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
print Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
_match.rs Overhaul Const. 2022-02-15 16:19:59 +11:00
adjustment.rs Remove in_band_lifetimes from rustc_middle 2021-12-15 19:50:43 -05:00
adt.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
assoc.rs Fix ret > 1 bound if shadowed by const 2022-02-03 15:17:51 +00:00
binding.rs words 2020-11-16 22:42:09 +01:00
cast.rs Use rustc_type_ir::{IntTy,UintTy,FloatTy} instead of the rustc_ast` ones in types 2021-01-18 21:09:23 +01:00
closure.rs Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-dead 2022-03-12 07:02:05 +00:00
codec.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
consts.rs rename ErrorReported -> ErrorGuaranteed 2022-03-02 09:45:25 -06:00
context.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
diagnostics.rs don't call multipart_suggestion 2022-03-12 18:51:28 +03:00
erase_regions.rs initial revert 2022-01-15 01:16:55 +00:00
error.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
fast_reject.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
flags.rs use List<Ty<'tcx>> for tuples 2022-02-21 07:09:11 +01:00
fold.rs Improve comments about type folding/visiting. 2022-02-17 23:15:40 +11:00
generics.rs reviews ish 2022-01-14 13:45:07 +00:00
impls_ty.rs review 2022-02-21 07:09:11 +01:00
instance.rs rename ErrorReported -> ErrorGuaranteed 2022-03-02 09:45:25 -06:00
layout.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
list.rs Improve the readability of List<T>. 2021-12-09 15:20:58 +11:00
mod.rs Queryify is_doc_hidden 2022-03-12 14:27:51 -08:00
normalize_erasing_regions.rs Overhaul Const. 2022-02-15 16:19:59 +11:00
query.rs rename ErrorReported -> ErrorGuaranteed 2022-03-02 09:45:25 -06:00
relate.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
structural_impls.rs Improve AdtDef interning. 2022-03-11 13:31:24 +11:00
sty.rs Rollup merge of #93977 - compiler-errors:sized-generic-metadata, r=wesleywiser 2022-03-14 17:24:57 +01:00
subst.rs review 2022-02-21 07:09:11 +01:00
trait_def.rs Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakis 2022-03-03 20:01:44 +01:00
util.rs Queryify is_doc_hidden 2022-03-12 14:27:51 -08:00
vtable.rs Turn tcx.vtable_allocation() into a query. 2021-10-07 20:03:00 +02:00
walk.rs use List<Ty<'tcx>> for tuples 2022-02-21 07:09:11 +01:00