tests/ui/transmutability/transmute-higher-ranked.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Ensure we don't ICE when transmuting higher-ranked types via a
// higher-ranked transmute goal.

//@ check-pass

#![feature(transmutability)]

use std::mem::TransmuteFrom;

pub fn transmute()
where
    for<'a> &'a &'a i32: TransmuteFrom<&'a &'a u32>,
{
}

fn main() {
    transmute();
}