mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add test cases

Browse source
This commit is contained in:
Ilya Yanok 2021-10-28 14:25:46 +00:00
parent 6f942a2f4a
commit 9a0a622a04
2 changed files with 41 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
src/test/ui/traits/issue-90195-2.rs Normal file
View file

@ -0,0 +1,20 @@
// check-pass
pub trait Archive {
type Archived;
}
impl<T> Archive for Option<T> {
type Archived = ();
}
pub type Archived<T> = <T as Archive>::Archived;
pub trait Deserialize<D> {}
const ARRAY_SIZE: usize = 32;
impl<__D> Deserialize<__D> for ()
where
Option<[u8; ARRAY_SIZE]>: Archive,
Archived<Option<[u8; ARRAY_SIZE]>>: Deserialize<__D>,
{
}
fn main() {}

21
src/test/ui/traits/issue-90195.rs Normal file
View file

@ -0,0 +1,21 @@
// check-pass
pub trait Archive {
type Archived;
}
impl<T> Archive for Option<T> {
type Archived = ();
}
pub type Archived<T> = <T as Archive>::Archived;
pub trait Deserialize<D> {}
const ARRAY_SIZE: usize = 32;
impl<__D> Deserialize<__D> for ()
where
Option<[u8; ARRAY_SIZE]>: Archive,
Option<[u8; ARRAY_SIZE]>: Archive,
Archived<Option<[u8; ARRAY_SIZE]>>: Deserialize<__D>,
{
}
fn main() {}