From a975bb84a99ee6f4e4b4a446642206ba5a7a69c9 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Fri, 18 Mar 2016 20:08:21 +0000 Subject: Throw exception if cast is about to fail --- src/main/java/org/zwobble/couscous/frontends/java/JavaMethods.java | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/main') diff --git a/src/main/java/org/zwobble/couscous/frontends/java/JavaMethods.java b/src/main/java/org/zwobble/couscous/frontends/java/JavaMethods.java index 0273faa..4aa57fd 100644 --- a/src/main/java/org/zwobble/couscous/frontends/java/JavaMethods.java +++ b/src/main/java/org/zwobble/couscous/frontends/java/JavaMethods.java @@ -43,6 +43,8 @@ class JavaMethods { Type erasedType = typeOf(erasedTypeBinding); if (erasedType.equals(type)) { return type; + } else if (!(erasedType instanceof TypeParameter)) { + throw new RuntimeException("Type parameter was " + erasedType); } else { return new BoundTypeParameter((TypeParameter) typeOf(erasedTypeBinding), type); } -- cgit v1.2.3