Sign in
android
/
toolchain
/
rustc
/
87880447cc5437c45a3562596a9766d9797e7318
/
.
/
tests
/
ui
/
rfcs
/
rfc-2632-const-trait-impl
/
trait-where-clause-self-referential.rs
blob: c578813b84683b3f620e9a45f1e3ac559ac2543a [
file
] [
log
] [
blame
]
// check-pass
#![
feature
(
const_trait_impl
,
effects
)]
#[
const_trait
]
trait
Foo
{
fn
bar
()
where
Self
:
~
const
Foo
;
}
struct
S
;
impl
Foo
for
S
{
fn
bar
()
{}
}
fn
baz
<
T
:
Foo
>()
{
T
::
bar
();
}
const
fn
qux
<
T
:
~
const
Foo
>()
{
T
::
bar
();
}
fn
main
()
{}