languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-15 22:59:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Extension types. Tests for using in object pattern.

Browse source 
Change-Id: I3a6bd166cde3dfd6ea664310fdb524b379448e87
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/317842
Reviewed-by: Samuel Rawlins <srawlins@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
This commit is contained in:
Konstantin Shcheglov 2023-08-03 02:44:59 +00:00 committed by Commit Queue
parent b035af2fdf
commit 7323c8af51
1 changed files with 113 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

113
pkg/analyzer/test/src/dart/resolution/object_pattern_test.dart
View file

@ -743,6 +743,119 @@ ObjectPattern
''');
}
test_extensionType_notGeneric_hasName_constant() async {
await assertNoErrorsInCode(r'''
extension type A(int it) {
int get foo => 0;
}
void f(x) {
switch (x) {
case A(foo: 0):
break;
}
}
''');
final node = findNode.singleGuardedPattern.pattern;
assertResolvedNodeText(node, r'''
ObjectPattern
type: NamedType
name: A
element: self::@extensionType::A
type: A
leftParenthesis: (
fields
PatternField
name: PatternFieldName
name: foo
colon: :
pattern: ConstantPattern
expression: IntegerLiteral
literal: 0
staticType: int
matchedValueType: int
element: self::@extensionType::A::@getter::foo
rightParenthesis: )
matchedValueType: dynamic
''');
}
test_extensionType_notGeneric_noName_variable() async {
await assertErrorsInCode(r'''
extension type A(int it) {
int get foo => 0;
}
void f(x) {
switch (x) {
case A(: final foo):
break;
}
}
''', [
error(WarningCode.UNUSED_LOCAL_VARIABLE, 96, 3),
]);
final node = findNode.singleGuardedPattern.pattern;
assertResolvedNodeText(node, r'''
ObjectPattern
type: NamedType
name: A
element: self::@extensionType::A
type: A
leftParenthesis: (
fields
PatternField
name: PatternFieldName
colon: :
pattern: DeclaredVariablePattern
keyword: final
name: foo
declaredElement: hasImplicitType isFinal foo@96
type: int
matchedValueType: int
element: self::@extensionType::A::@getter::foo
rightParenthesis: )
matchedValueType: dynamic
''');
}
test_extensionType_notGeneric_unresolved_hasName() async {
await assertErrorsInCode(r'''
extension type A(int it) {}
void f(x) {
switch (x) {
case A(foo: 0):
break;
}
}
''', [
error(CompileTimeErrorCode.UNDEFINED_GETTER, 67, 3),
]);
final node = findNode.singleGuardedPattern.pattern;
assertResolvedNodeText(node, r'''
ObjectPattern
type: NamedType
name: A
element: self::@extensionType::A
type: A
leftParenthesis: (
fields
PatternField
name: PatternFieldName
name: foo
colon: :
pattern: ConstantPattern
expression: IntegerLiteral
literal: 0
staticType: int
matchedValueType: dynamic
element: <null>
rightParenthesis: )
matchedValueType: dynamic
''');
}
test_typeAlias_nullable() async {
await assertErrorsInCode(r'''
typedef A = int?;