// RUN: %target-swift-ide-test -syntax-coloring -source-filename %s | %FileCheck %s | |
// RUN: %target-swift-ide-test -syntax-coloring -typecheck -source-filename %s | %FileCheck %s | |
// NOTE: Testing 'class' at the end of the file. Don't add anything after that. | |
// https://bugs.swift.org/browse/SR-8378 | |
// CHECK: <kw>protocol</kw> P : <type>class</type> | |
protocol P : class |