bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add test for ICE failed to resolve instance for <[f32; 2] as CrossProduct

Browse source 
Fixes https://github.com/rust-lang/rust/issues/111667
This commit is contained in:
Matthias Krüger 2024-04-27 14:42:38 +02:00
parent 012f9e26ac
commit f483971b87
1 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

18
tests/ui/const-generics/generic_const_exprs/failed-to-resolve-instance-ice-111667.rs Normal file
View file

@ -0,0 +1,18 @@
// issue rust-lang/rust#111667
// ICE failed to resolve instance for <[f32; 2] as CrossProduct ..
//@ check-pass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
pub trait CrossProduct<'a, T, R> {
fn cross(&'a self, t: &'a T) -> R;
}
impl<'a, T, U, const N: usize> CrossProduct<'a, [U; N], [(&'a T, &'a U); N * N]> for [T; N] {
fn cross(&'a self, us: &'a [U; N]) -> [(&'a T, &'a U); N * N] {
std::array::from_fn(|i| (&self[i / N], &us[i % N]))
}
}
pub fn main() {}