test('T19752', normal, compile_fail, [''])
test('T20063', normal, compile_fail, [''])
test('T19760', normal, compile_fail, [''])
test('T19482', normal, compile_fail, [''])
test('T10946_sk', normal, compile_fail, [''])
test('T20680', normal, compile_fail, [''])
test('KcConDeclSkolem', normal, compile_fail, [''])
test('KcConDeclSkolem2', normal, compile_fail, [''])
test('T20232', normal, compile_fail, [''])
test('T20969', normal, multimod_compile_fail, ['T20969', '-v0'])
test('T14040A', normal, compile_fail, [''])
test('T14040', normal, compile_fail, [''])
test('T13499', normal, compile_fail, [''])
test('T21306', normal, compile_fail, [''])
