float *f0(float*);
// expected-no-diagnostics