Returns the type that a T would evaluate to in an expression. Expr is not required to be a callable type
See Implementation
Returns the type that a T would evaluate to in an expression. Expr is not required to be a callable type