sdk icon indicating copy to clipboard operation
sdk copied to clipboard

Published 20 hours ago • verified publisher icon dart-lang

Record type annotations as bounds to type parameters

Open scheglov opened this issue 3 years ago • 0 comments

So far I think that this code should be OK, but we don't resolve T to its bounds.

num foo<T extends (num, {String name})>(T r) => r.$0;

The comment for DartType _resolveTypeParameter references https://github.com/dart-lang/language/issues/1182, which might be pertinent, but might be not.

scheglov avatar Sep 19 '22 19:09 scheglov