| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/top_level_vs_local_inference.dart:16:14: Error: Inferred type argument 'dynamic' doesn't conform to the bound 'Column' of the type variable 'F' on 'TableSchema'. |
| // - 'Column' is from 'pkg/front_end/testcases/general/top_level_vs_local_inference.dart'. |
| // Try specifying type arguments explicitly so that they conform to the bounds. |
| // var schema = TableSchema(fields: []); |
| // ^ |
| // pkg/front_end/testcases/general/top_level_vs_local_inference.dart:9:19: Context: This is the type variable whose bound isn't conformed to. |
| // class TableSchema<F extends Column, C extends TableContext> { |
| // ^ |
| // |
| // pkg/front_end/testcases/general/top_level_vs_local_inference.dart:19:16: Error: Inferred type argument 'dynamic' doesn't conform to the bound 'Column' of the type variable 'F' on 'TableSchema'. |
| // - 'Column' is from 'pkg/front_end/testcases/general/top_level_vs_local_inference.dart'. |
| // Try specifying type arguments explicitly so that they conform to the bounds. |
| // var schema = TableSchema(fields: []); |
| // ^ |
| // pkg/front_end/testcases/general/top_level_vs_local_inference.dart:9:19: Context: This is the type variable whose bound isn't conformed to. |
| // class TableSchema<F extends Column, C extends TableContext> { |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class TableContext extends core::Object { |
| synthetic constructor •() → self::TableContext |
| : super core::Object::•() |
| ; |
| } |
| class Column extends core::Object { |
| synthetic constructor •() → self::Column |
| : super core::Object::•() |
| ; |
| } |
| class TableSchema<F extends self::Column, C extends self::TableContext> extends core::Object { |
| constructor _() → self::TableSchema<self::TableSchema::F, self::TableSchema::C> |
| : super core::Object::•() |
| ; |
| static factory •<F extends self::Column, C extends self::TableContext>({required core::Iterable<self::TableSchema::•::F> fields, self::TableSchema::•::C? context = #C1}) → self::TableSchema<self::TableSchema::•::F, self::TableSchema::•::C> |
| return new self::TableSchema::_<self::TableSchema::•::F, self::TableSchema::•::C>(); |
| } |
| static field self::TableSchema<dynamic, self::TableContext> schema = self::TableSchema::•<self::Column, self::TableContext>(fields: core::_GrowableList::•<self::Column>(0)); |
| static method method() → void { |
| self::TableSchema<dynamic, self::TableContext> schema = self::TableSchema::•<dynamic, self::TableContext>(fields: core::_GrowableList::•<dynamic>(0)); |
| } |
| |
| constants { |
| #C1 = null |
| } |