diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-01-03 21:24:25 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-01-03 21:24:45 +0000 |
| commit | 49560f36988842341a97fce7f81a5041fb1dd0d4 (patch) | |
| tree | d0c2833e99f96b7a329009a7e31e6e8c885c615d /src/test/java | |
| parent | 09f15965cf8fb86077e06bcf6c4f34af4ad7b0e7 (diff) | |
Rename StructuredType to ConstructibleType
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/types/TypeMatchers.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/java/org/shedlang/compiler/types/TypeMatchers.java b/src/test/java/org/shedlang/compiler/types/TypeMatchers.java index 24d2d0df..c9a37a7d 100644 --- a/src/test/java/org/shedlang/compiler/types/TypeMatchers.java +++ b/src/test/java/org/shedlang/compiler/types/TypeMatchers.java @@ -37,7 +37,7 @@ public class TypeMatchers { ); } - public static <T extends StructuredType> Matcher<TypeOrConstructor<T>> isTypeNotConstructor( + public static <T extends ConstructibleType> Matcher<TypeOrConstructor<T>> isTypeNotConstructor( Matcher<? super T> type ) { return instanceOf( @@ -46,7 +46,7 @@ public class TypeMatchers { ); } - public static <T extends StructuredType> Matcher<TypeOrConstructor<T>> isConstructorNotType( + public static <T extends ConstructibleType> Matcher<TypeOrConstructor<T>> isConstructorNotType( Matcher<? super TypeConstructor<T>> typeConstructor ) { return instanceOf( |
