blob: 2bcb86860f2cb4ed4047db29bef71761e54e8517 [file] [log] [blame]
VARIABLES T P
Int <: T
P := Consumer<Consumer<T>>