func returns_unknown[T]() -> U {}

returns_unknown[bool]()