ef72c594c4
Naive approximation for fake overriding signature: use upper bound for flexible types. Check delegation errors.