auto trait Valid {} // { dg-error "auto traits are experimental and possibly buggy" }