parent
71b68da1bd
commit
e013cf8afc
6 changed files with 41 additions and 0 deletions
|
@ -31,4 +31,10 @@ const EXPECTED = [
|
|||
{ 'path': 'generics_unbox', 'name': 'beta' },
|
||||
],
|
||||
},
|
||||
{
|
||||
'query': '-> Sigma',
|
||||
'others': [
|
||||
{ 'path': 'generics_unbox', 'name': 'delta' },
|
||||
],
|
||||
},
|
||||
];
|
||||
|
|
|
@ -42,3 +42,15 @@ pub fn beta<T, U>(_: Inside<T>) -> Out<Out3<T, U>, Out4<U, T>> {
|
|||
pub fn gamma<T, U>(_: Inside<T>) -> Out<Out3<U, T>, Out4<T, U>> {
|
||||
loop {}
|
||||
}
|
||||
|
||||
pub fn delta(_: i32) -> Epsilon<Sigma> {
|
||||
loop {}
|
||||
}
|
||||
|
||||
#[doc(search_unbox)]
|
||||
pub struct Theta<T>(T);
|
||||
|
||||
#[doc(search_unbox)]
|
||||
pub type Epsilon<T> = Theta<T>;
|
||||
|
||||
pub struct Sigma;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue