azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Nullable types prohibited in supertypes

Browse Source
This commit is contained in:
Andrey Breslav
2011-09-13 19:43:41 +04:00
parent f8cb012097
commit 78a51bd9c4
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/jet/lang/resolve/ClassDescriptorResolver.java
+5
View File
@@ -107,6 +107,11 @@ public class ClassDescriptorResolver {
if (typeReference != null) { if (typeReference != null) {
result.add(resolver.resolveType(extensibleScope, typeReference)); result.add(resolver.resolveType(extensibleScope, typeReference));
JetTypeElement typeElement = typeReference.getTypeElement(); JetTypeElement typeElement = typeReference.getTypeElement();
while (typeElement instanceof JetNullableType) {
JetNullableType nullableType = (JetNullableType) typeElement;
trace.getErrorHandler().genericError(nullableType.getQuestionMarkNode(), "A supertype cannot be nullable");
typeElement = nullableType.getInnerType();
}
if (typeElement instanceof JetUserType) { if (typeElement instanceof JetUserType) {
JetUserType userType = (JetUserType) typeElement; JetUserType userType = (JetUserType) typeElement;
List<JetTypeProjection> typeArguments = userType.getTypeArguments(); List<JetTypeProjection> typeArguments = userType.getTypeArguments();
idea/testData/checker/ProjectionsInSupertypes.jet
+1 -1
View File
@@ -3,4 +3,4 @@ trait B<T> {}
trait C<T> {} trait C<T> {}
trait D<T> {} trait D<T> {}
trait Test : A<<error>in</error> Int>, B<<error>out</error> T>, C<<error>*</error>>, D<Int> {} trait Test : A<<error>in</error> Int>, B<<error>out</error> T>, C<<error>*</error>><error>?</error><error>?</error><error>?</error>, D<Int> {}