diff options
| author | Ralf Jung <post@ralfj.de> | 2020-04-05 17:07:06 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2020-04-05 17:07:06 +0200 |
| commit | 4a75883a784edcef45cadc5374c43eecf6b575d4 (patch) | |
| tree | 5a8dbcb189b68328bce51a74d6e728a779d71216 | |
| parent | 7b657d340d715f48449189fea9d032350323a13f (diff) | |
| download | rust-4a75883a784edcef45cadc5374c43eecf6b575d4.tar.gz rust-4a75883a784edcef45cadc5374c43eecf6b575d4.zip | |
also print rustc_layout on impl trait type aliases
| -rw-r--r-- | src/librustc_passes/layout_test.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/layout/debug.rs | 9 | ||||
| -rw-r--r-- | src/test/ui/layout/debug.stderr | 34 |
3 files changed, 43 insertions, 3 deletions
diff --git a/src/librustc_passes/layout_test.rs b/src/librustc_passes/layout_test.rs index da8ab727ed3..867cec38a8b 100644 --- a/src/librustc_passes/layout_test.rs +++ b/src/librustc_passes/layout_test.rs @@ -27,7 +27,8 @@ impl ItemLikeVisitor<'tcx> for LayoutTest<'tcx> { ItemKind::TyAlias(..) | ItemKind::Enum(..) | ItemKind::Struct(..) - | ItemKind::Union(..) => { + | ItemKind::Union(..) + | ItemKind::OpaqueTy(..) => { for attr in self.tcx.get_attrs(item_def_id).iter() { if attr.check_name(sym::rustc_layout) { self.dump_layout_of(item_def_id, item, attr); diff --git a/src/test/ui/layout/debug.rs b/src/test/ui/layout/debug.rs index 70ae200e3e5..034ed3190c1 100644 --- a/src/test/ui/layout/debug.rs +++ b/src/test/ui/layout/debug.rs @@ -1,5 +1,5 @@ // normalize-stderr-test "pref: Align \{\n *pow2: [1-3],\n *\}" -> "pref: $$PREF_ALIGN" -#![feature(never_type, rustc_attrs)] +#![feature(never_type, rustc_attrs, type_alias_impl_trait)] #![crate_type = "lib"] #[rustc_layout(debug)] @@ -13,3 +13,10 @@ union U { f1: (i32, i32), f3: i32 } //~ ERROR: layout debugging #[rustc_layout(debug)] type Test = Result<i32, i32>; //~ ERROR: layout debugging + +#[rustc_layout(debug)] +type T = impl std::fmt::Debug; //~ ERROR: layout debugging + +fn f() -> T { + 0i32 +} diff --git a/src/test/ui/layout/debug.stderr b/src/test/ui/layout/debug.stderr index ef88cf1e4c1..3d407653755 100644 --- a/src/test/ui/layout/debug.stderr +++ b/src/test/ui/layout/debug.stderr @@ -315,5 +315,37 @@ error: layout debugging: Layout { LL | type Test = Result<i32, i32>; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -error: aborting due to 4 previous errors +error: layout debugging: Layout { + fields: Union( + 0, + ), + variants: Single { + index: 0, + }, + abi: Scalar( + Scalar { + value: Int( + I32, + true, + ), + valid_range: 0..=4294967295, + }, + ), + largest_niche: None, + align: AbiAndPrefAlign { + abi: Align { + pow2: 2, + }, + pref: $PREF_ALIGN, + }, + size: Size { + raw: 4, + }, +} + --> $DIR/debug.rs:18:1 + | +LL | type T = impl std::fmt::Debug; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: aborting due to 5 previous errors |