Swift type checking is undecidable
forums.swift.org