mirror of
https://github.com/rust-lang/rust.git
synced 2024-10-31 14:31:55 +00:00
Type can be unsized and uninhabited
This commit is contained in:
parent
e90c5fbbc5
commit
34b75664ee
@ -512,7 +512,7 @@ impl<'tcx> LayoutCx<'tcx, TyCtxt<'tcx>> {
|
||||
}
|
||||
}
|
||||
|
||||
if sized && fields.iter().any(|f| f.abi.is_uninhabited()) {
|
||||
if fields.iter().any(|f| f.abi.is_uninhabited()) {
|
||||
abi = Abi::Uninhabited;
|
||||
}
|
||||
|
||||
|
21
src/test/ui/issues/issue-88150.rs
Normal file
21
src/test/ui/issues/issue-88150.rs
Normal file
@ -0,0 +1,21 @@
|
||||
// run-pass
|
||||
// compile-flags:-C debuginfo=2
|
||||
// edition:2018
|
||||
|
||||
use core::marker::PhantomData;
|
||||
|
||||
pub struct Foo<T: ?Sized, A>(
|
||||
PhantomData<(A, T)>,
|
||||
);
|
||||
|
||||
enum Never {}
|
||||
|
||||
impl<T: ?Sized> Foo<T, Never> {
|
||||
fn new_foo() -> Foo<T, Never> {
|
||||
Foo(PhantomData)
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let _ = Foo::<[()], Never>::new_foo();
|
||||
}
|
Loading…
Reference in New Issue
Block a user