public typealias Metatype<T> = T.Type

// true - NO WARNING?
Any.self is Any.Type 

// true - Warning: `is` test is always true
Any.self is Metatype<Any>

// true - Warning: `is` test is always true
Int.self is Any.Type

// true - Warning: `is` test is always true
Int.self is Int.Type

// FALSE - should be TRUE - Warning: Cast from `Int.Type` to unrelated type 'Any.Protocol' (aka 'protocol<>.Protocol') always fails
Int.self is Metatype<Any>

// true - Warning: `is` test is always true
Int.self is Metatype<Int>

// works just fine
let anyMetatype: Any.Type = Int.self

// Error: Cannot convert value of type `Int.Type` to specified type `Any.Protocol` (aka 'protocol<>.Protocol')
let anyMetatype: Metatype<Any> = Int.self

// Workaround: store the metatype inside `Any`
let hiddenMetatype: Any = Int.self

// NOT nil
hiddenMetatype as? Any.Type 

// NOT nil
hiddenMetatype as? Int.Type

// NIL - should be NOT nil    
hiddenMetatype as? Metatype<Any>

// NOT nil
hiddenMetatype as? Metatype<Int>

Any.self // should be of type `Any.Type`

// BUT

Any.Type // means it can store any metatype, not just the metatype for `Any`