|
// 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();
|
|
}
|