blob: f8e3f5b58d1b372718e6dd60010ac4524fb1ce76 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
// build-pass
// Ensures that we don't regress on "implementation is not general enough" when
// normalizating under binders.
#![feature(no_core)]
pub trait Yokeable<'a> {
type Output: 'a;
}
pub struct Yoke<Y: for<'a> Yokeable<'a>> {
_yokeable: Y,
}
impl<Y: for<'a> Yokeable<'a>> Yoke<Y> {
pub fn project<'this, P>(
&'this self,
_f: for<'a> fn(<Y as Yokeable<'a>>::Output, &'a ()) -> <P as Yokeable<'a>>::Output,
) -> Yoke<P>
where
P: for<'a> Yokeable<'a>,
{
unimplemented!()
}
}
pub fn slice(y: Yoke<&'static ()>) -> Yoke<&'static ()> {
y.project(move |yk, _| yk)
}
impl<'a, T> Yokeable<'a> for &'static T {
type Output = &'a T;
}
fn main() {}
|