Sign in
android
/
toolchain
/
rustc
/
5139364148b53d79de1b5e778004d41a6a33a4a2
/
.
/
tests
/
ui
/
type-alias-impl-trait
/
unconstrained-due-to-bad-pattern.rs
blob: ae3d317ab464914cde052d246c3c106e4bae5cad [
file
] [
log
] [
blame
]
#![
feature
(
type_alias_impl_trait
)]
type
Tait
=
impl
Copy
;
// Make sure that this TAIT isn't considered unconstrained...
fn
empty_opaque
()
->
Tait
{
if
false
{
match
empty_opaque
()
{}
//~^ ERROR non-empty
}
0u8
}
fn
main
()
{}