This change restores original canImplicitlyPromote implementation in
case the explicit type extension wasn't requested.