fun test() -> f64 {
  if false {
    return "no way!";
  }
  23.0
}

// @expect-errors:
// | 3:4: callers of this function expect a value of type 'f64' but this statement returns a value of type 'string'