I think the alias this transformation is done 'before' any usual conversion. I guess it's a real replacement inside the code (I'm not sure how to explain my feeling).

But in any case, since OhWhy!(float) type is ... OhWhy!(float), I agree this should fail.