//@error
//assigning mismatched polymorphic types

export void foo(floating<0> bar) {
    floating<1> baz = bar;
}