error: type `f31` not found
  --> test/ui/did_you_mean_builtin.aldrin:2:14
   |
 2 |     f1 @ 1 = f31;
   |              ^^^ type used here
   |
   = help: did you mean `f32`?
