Return cast does not work with variables

[mlbrooks]

    forall ( T * )
    void f( T & ) { printf("%zd\n", sizeof(T)); }

    int foo () { return 42; }
    double foo () { return 3.14; }
    int bar = 42;
    double bar = 3.14;

    int main() {
        f( (return int) foo() );        // ok
        f( (return double) foo() );     // ok
      #ifndef HIDE_PROBLEM
        f( (return int) bar );          // ambiguous
        f( (return double) bar );       // ambiguous
      #endif
        return 0;
    }

Actual: Error "cannot choose between 2 alternatives" at both lines commented "ambiguous"

Expected: Runs and prints 4, 8, 4, 8

[f37yu]

I missed this use case when I implemented the return cast, as I didn't think it can be used on variables, and only put the relevant code in UntypedExpr aka unresolved function calls.

[ajbeach]

#include <limits.hfa>

int main() {
    unsigned int max_value = (return int)MAX;
    printf("%u\n", max_value);
}

Prints 4294967295 but should print 2147483647. I was just creating another example that I thought would present well (getting a limit of a smaller type in a larger type seems nice). I was surprised that it didn't result in an ambiguous situation but instead the cast seemed to be ignored and it used the cast's context to resolve.