Weird implicitly opened existential behaviour

[ole (Ole Begemann)]

@cryo

While I'm at it: Is there any way to print or debug the compile-time type of an expression? If I print type(of:) I get the runtime type, but I am trying to figure out what the compiler knows the type to be.

You can get the static type of a value by dispatching through a generic context:

func staticType<T>(of _: T) -> String {
    return "\(T.self)"
}

print(type(of: 1 as Any)) // → "Int"
print(staticType(of: 1 as Any)) // → "Any"

Courtesy of @Joe_Groff: Printing the Static Type of a Value - #2 by Joe_Groff