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

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

should not compile because C does not exist