Permalink
Browse files

test for #353, which was apparently already fixed

  • Loading branch information...
1 parent cdc6c42 commit 3050ded1b954b6f5b64c59b4430caa307bcfed61 @gavinking gavinking committed Jul 31, 2012
Showing with 9 additions and 0 deletions.
  1. +9 −0 test/main/refinement/GenericRefinement.ceylon
@@ -151,4 +151,13 @@ class GenericRefinement() {
given T satisfies Baz<T&Integer> {}
}
}
+
+ void meth<Null>(Null n)
+ given Null satisfies Nothing {
+ @error
+ object obj
+ extends Object()
+ satisfies Empty &
+ ContainerWithFirstElement<Bottom,Null> {}
+ }
}

0 comments on commit 3050ded

Please sign in to comment.