There was no issue with `field_value`, but with `value`. In other words, the explicit redeclaration of a function returning one type into a function returning a basic expanded type works, as well as the implicit redeclaration when the result type is formal generic. However, the implicit redeclaration with an anchored result type does not work correctly.