rust/tests/ui/transmutability/abstraction
..
abstracted_assume.rs
const_generic_fn.rs