blob: 0fc7a7aaea2e6ef6de99b22d0eca1a7f6d742567 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#![feature(generic_const_items)]
#![allow(incomplete_features)]
pub const K<'a, T: 'a + Copy, const N: usize>: Option<[T; N]> = None
where
String: From<T>;
pub trait Trait<T: ?Sized> {
const C<'a>: &'a T
where
T: 'a + Eq;
}
pub struct Implementor;
impl Trait<str> for Implementor {
const C<'a>: &'a str = "C"
// In real code we could've left off this bound but adding it explicitly allows us to test if
// we render where-clauses on associated consts inside impl blocks correctly.
where
str: 'a;
}
|
