msiegenthaler/pusca — Issue #3: Fail if @impureIf uses unavailable type parameters
Author: msiegenthaler
Created: 2011-11-26 09:27:55+00:00
State: open

@impureIf('B, 'C) def a[B](f: () => B) = ()

should not compile because C does not exist