@@ -3143,6 +3143,21 @@ class MiniAstOperations
31433143 _variance[typeName] = varianceByArgument;
31443144 }
31453145
3146+ @override
3147+ List <SharedType > chooseTypes (
3148+ List <SharedTypeParameter > typeParametersToInfer,
3149+ Map <SharedTypeParameter , MergedTypeConstraint <Var , Type , String , Node >>
3150+ constraints,
3151+ List <SharedType >? previouslyInferredTypes, {
3152+ required bool preliminary,
3153+ required bool inferenceUsingBoundsIsEnabled,
3154+ required TypeConstraintGenerationDataForTesting <Var , Node >? dataForTesting,
3155+ required Node ? treeNodeForTesting,
3156+ }) {
3157+ // TODO(paulberry): Implement chooseTypes.
3158+ throw UnimplementedError ();
3159+ }
3160+
31463161 @override
31473162 TypeClassification classifyType (SharedTypeView type) {
31483163 if (isSubtypeOfInternal (type.unwrapTypeView <Type >(), Type ('Object' ))) {
@@ -3234,6 +3249,19 @@ class MiniAstOperations
32343249 return _glbs[query] ?? fail ('Unknown glb query: $query ' );
32353250 }
32363251
3252+ @override
3253+ SharedTypeView greatestClosureOfSchema (
3254+ SharedTypeSchemaView schema, {
3255+ SharedTypeView ? topType,
3256+ }) {
3257+ return SharedTypeView (
3258+ schema.unwrapTypeSchemaView <Type >().closureWithRespectToUnknown (
3259+ covariant : true ,
3260+ ) ??
3261+ schema.unwrapTypeSchemaView (),
3262+ );
3263+ }
3264+
32373265 @override
32383266 Type greatestClosureOfTypeInternal (
32393267 Type type,
@@ -3266,6 +3294,12 @@ class MiniAstOperations
32663294 return unwrappedType is NeverType && ! unwrappedType.isQuestionType;
32673295 }
32683296
3297+ @override
3298+ bool isBoundOmitted (SharedTypeParameter typeParameter) {
3299+ // TODO(paulberry): Implement isBoundOmitted in mini ast.
3300+ throw UnimplementedError ();
3301+ }
3302+
32693303 @override
32703304 bool isDartCoreFunctionInternal (Type type) {
32713305 return type is PrimaryType &&
@@ -3459,6 +3493,12 @@ class MiniAstOperations
34593493 );
34603494 }
34613495
3496+ @override
3497+ SharedTypeView leastClosureOfSchema (SharedTypeSchemaView schema) {
3498+ // TODO(paulberry): Implement leastClosureOfSchema in mini ast.
3499+ throw UnimplementedError ();
3500+ }
3501+
34623502 @override
34633503 Type leastClosureOfTypeInternal (
34643504 Type type,
@@ -3695,46 +3735,6 @@ class MiniAstOperations
36953735 PropertyNonPromotabilityReason ? whyPropertyIsNotPromotable (
36963736 covariant _PropertyElement property,
36973737 ) => property.whyNotPromotable;
3698-
3699- @override
3700- SharedTypeView greatestClosureOfSchema (
3701- SharedTypeSchemaView schema, {
3702- SharedTypeView ? topType,
3703- }) {
3704- return SharedTypeView (
3705- schema.unwrapTypeSchemaView <Type >().closureWithRespectToUnknown (
3706- covariant : true ,
3707- ) ??
3708- schema.unwrapTypeSchemaView (),
3709- );
3710- }
3711-
3712- @override
3713- SharedTypeView leastClosureOfSchema (SharedTypeSchemaView schema) {
3714- // TODO(paulberry): Implement leastClosureOfSchema in mini ast.
3715- throw UnimplementedError ();
3716- }
3717-
3718- @override
3719- bool isBoundOmitted (SharedTypeParameter typeParameter) {
3720- // TODO(paulberry): Implement isBoundOmitted in mini ast.
3721- throw UnimplementedError ();
3722- }
3723-
3724- @override
3725- List <SharedType > chooseTypes (
3726- List <SharedTypeParameter > typeParametersToInfer,
3727- Map <SharedTypeParameter , MergedTypeConstraint <Var , Type , String , Node >>
3728- constraints,
3729- List <SharedType >? previouslyInferredTypes, {
3730- required bool preliminary,
3731- required bool inferenceUsingBoundsIsEnabled,
3732- required TypeConstraintGenerationDataForTesting <Var , Node >? dataForTesting,
3733- required Node ? treeNodeForTesting,
3734- }) {
3735- // TODO(paulberry): Implement chooseTypes.
3736- throw UnimplementedError ();
3737- }
37383738}
37393739
37403740/// Representation of an expression or statement in the pseudo-Dart language
0 commit comments