Last active
November 11, 2018 02:36
-
-
Save matux/4f40e0a1414fb2ccd908eebe499ef76b to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 4.4:matux@Weiland:new-hints:∴μ ∆15:~/code/v1/joybird-ios$ swift -Xfrontend -debug-constraints | |
| Welcome to Apple Swift version 4.2.1 (swiftlang-1000.11.42 clang-1000.11.45.1). Type :help for assistance. | |
| 1> 1 + 1 | |
| ---Constraint solving for the expression at [/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:5]--- | |
| ---Initial constraints for the given expression--- | |
| (binary_expr type='$T3' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:5] | |
| (overloaded_decl_ref_expr type='$T0' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 - line:1:3] name=+ number_of_decls=27 function_ref=unapplied decls=[ | |
| Swift.(file).Float.+, | |
| Swift.(file).Double.+, | |
| Swift.(file).Float80.+, | |
| Swift.(file).UInt8.+, | |
| Swift.(file).Int8.+, | |
| Swift.(file).UInt16.+, | |
| Swift.(file).Int16.+, | |
| Swift.(file).UInt32.+, | |
| Swift.(file).Int32.+, | |
| Swift.(file).UInt64.+, | |
| Swift.(file).Int64.+, | |
| Swift.(file).UInt.+, | |
| Swift.(file).Int.+, | |
| Swift.(file).String.+, | |
| Swift.(file).FloatingPoint.+, | |
| Swift.(file).Numeric.+, | |
| Swift.(file).BinaryInteger.+, | |
| Swift.(file).Strideable.+, | |
| Swift.(file).Strideable.+, | |
| Swift.(file).Strideable.+, | |
| Swift.(file).Strideable.+, | |
| Swift.(file).Sequence.+, | |
| Swift.(file).Sequence.+, | |
| Swift.(file).LazyMapCollection.+, | |
| Swift.(file).RangeReplaceableCollection.+, | |
| Swift.(file).RangeReplaceableCollection.+, | |
| Swift.(file).RangeReplaceableCollection.+]) | |
| (tuple_expr implicit type='($T1, $T2)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:5] | |
| (integer_literal_expr type='$T1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1) | |
| (integer_literal_expr type='$T2' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 - line:1:5] value=1))) | |
| Score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type Variables: | |
| $T0 [lvalue allowed] subtype_of_existential involves_type_vars bindings={} @ locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3] | |
| $T1 fully_bound literal=3 involves_type_vars bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int} @ locator@0x7fdfd2d554b0 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| $T2 equivalent to $T1 @ locator@0x7fdfd2d55540 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5] | |
| $T3 fully_bound subtype_of_existential involves_type_vars bindings={} @ locator@0x7fdfd2d55618 [Binary@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 -> function result] | |
| Active Constraints: | |
| Inactive Constraints: | |
| $T1 literal conforms to ExpressibleByIntegerLiteral [[locator@0x7fdfd2d554b0 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; | |
| $T2 literal conforms to ExpressibleByIntegerLiteral [[locator@0x7fdfd2d55540 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5]]]; | |
| ($T1, $T2) -> $T3 applicable fn $T0 [[locator@0x7fdfd2d556b0 [Binary@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 -> apply function]]]; | |
| disjunction [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]:$T0 bound to decl Swift.(file).Int.+ : (Int.Type) -> (Int, Int) -> Int [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Float.+ : (Float.Type) -> (Float, Float) -> Float [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Double.+ : (Double.Type) -> (Double, Double) -> Double [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Float80.+ : (Float80.Type) -> (Float80, Float80) -> Float80 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).UInt8.+ : (UInt8.Type) -> (UInt8, UInt8) -> UInt8 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Int8.+ : (Int8.Type) -> (Int8, Int8) -> Int8 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).UInt16.+ : (UInt16.Type) -> (UInt16, UInt16) -> UInt16 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Int16.+ : (Int16.Type) -> (Int16, Int16) -> Int16 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).UInt32.+ : (UInt32.Type) -> (UInt32, UInt32) -> UInt32 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Int32.+ : (Int32.Type) -> (Int32, Int32) -> Int32 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).UInt64.+ : (UInt64.Type) -> (UInt64, UInt64) -> UInt64 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Int64.+ : (Int64.Type) -> (Int64, Int64) -> Int64 [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).UInt.+ : (UInt.Type) -> (UInt, UInt) -> UInt [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).String.+ : (String.Type) -> (String, String) -> String [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).FloatingPoint.+ : <Self where Self : FloatingPoint> (Self.Type) -> (Self, Self) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Numeric.+ : <Self where Self : Numeric> (Self.Type) -> (Self, Self) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).BinaryInteger.+ : <Self where Self : BinaryInteger> (Self.Type) -> (Self, Self) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Strideable.+ : <Self where Self : Strideable, Self : _Pointer> (Self.Type) -> (Self, Self.Stride) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Strideable.+ : <Self where Self : Strideable, Self : _Pointer> (Self.Type) -> (Self.Stride, Self) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Strideable.+ : <Self where Self : Strideable> (Self.Type) -> (Self, Self.Stride) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Strideable.+ : <Self where Self : Strideable> (Self.Type) -> (Self.Stride, Self) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Sequence.+ : <Self where Self : Sequence, Self.Element == String> (Self.Type) -> (Self, String) -> Never [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).Sequence.+ : <Self where Self : Sequence, Self.Element == String> (Self.Type) -> (String, Self) -> Never [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).LazyMapCollection.+ : <Base, Element, Other where Base : Collection, Element == Other.Element, Other : LazyCollectionProtocol> (LazyMapCollection<Base, Element>.Type) -> (LazyMapCollection<Base, Element>, Other) -> [Element] [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).RangeReplaceableCollection.+ : <Self, Other where Self : RangeReplaceableCollection, Other : Sequence, Self.Element == Other.Element> (Self.Type) -> (Self, Other) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).RangeReplaceableCollection.+ : <Self, Other where Self : RangeReplaceableCollection, Other : Sequence, Self.Element == Other.Element> (Self.Type) -> (Other, Self) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; or $T0 bound to decl Swift.(file).RangeReplaceableCollection.+ : <Self, Other where Self : RangeReplaceableCollection, Other : RangeReplaceableCollection, Self.Element == Other.Element> (Self.Type) -> (Self, Other) -> Self [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; | |
| ($T1 fully_bound literal=3 involves_type_vars bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int}) | |
| (assuming $T0 bound to decl Swift.(file).Int.+ : (Int.Type) -> (Int, Int) -> Int [[locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3]]]; | |
| (overload set choice binding $T0 := (Int, Int) -> Int) | |
| ($T1 literal=3 bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int}) | |
| Active bindings: $T1 := Int | |
| (trying $T1 := Int | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ) | |
| ) | |
| ---Solution--- | |
| Fixed score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type variables: | |
| $T0 as (Int, Int) -> Int @ locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3] | |
| $T3 as Int @ locator@0x7fdfd2d55618 [Binary@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 -> function result] | |
| $T1 as Int @ locator@0x7fdfd2d554b0 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| $T2 as Int @ locator@0x7fdfd2d55540 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5] | |
| Overload choices: | |
| locator@0x7fdfd2d54a00 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3] with Swift.(file).Int.+ as +: (Int, Int) -> Int | |
| Constraint restrictions: | |
| Disjunction choices: | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ---Type-checked expression--- | |
| (binary_expr type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:5] | |
| (dot_syntax_call_expr implicit type='(Int, Int) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 - line:1:3] | |
| (declref_expr type='(Int.Type) -> (Int, Int) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 - line:1:3] decl=Swift.(file).Int.+ function_ref=unapplied) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:3 - line:1:3] typerepr='Int')) | |
| (tuple_expr implicit type='(Int, Int)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:5] | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1))) | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 - line:1:5] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 - line:1:5] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 - line:1:5] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 - line:1:5] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 - line:1:5] names=_builtinIntegerLiteral | |
| (integer_literal_expr type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:5 - line:1:5] value=1))))) | |
| ---Constraint solving for the expression at [/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1]--- | |
| ---Initial constraints for the given expression--- | |
| (binary_expr type='Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (overloaded_decl_ref_expr type='$T0' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] name=== number_of_decls=65 function_ref=unapplied decls=[ | |
| Swift.(file).==, | |
| Swift.(file).==, | |
| Swift.(file).Bool.==, | |
| Swift.(file).Character.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).CodingUserInfoKey.==, | |
| Swift.(file).OpaquePointer.==, | |
| Swift.(file).FloatingPointSign.==, | |
| Swift.(file).AnyHashable.==, | |
| Swift.(file).UInt8.==, | |
| Swift.(file).Int8.==, | |
| Swift.(file).UInt16.==, | |
| Swift.(file).Int16.==, | |
| Swift.(file).UInt32.==, | |
| Swift.(file).Int32.==, | |
| Swift.(file).UInt64.==, | |
| Swift.(file).Int64.==, | |
| Swift.(file).UInt.==, | |
| Swift.(file).Int.==, | |
| Swift.(file).AnyKeyPath.==, | |
| Swift.(file).Scalar.==, | |
| Swift.(file).ObjectIdentifier.==, | |
| Swift.(file).String.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).UnsafeMutableRawPointer.==, | |
| Swift.(file).UnsafeRawPointer.==, | |
| Swift.(file).UnicodeDecodingResult.==, | |
| Swift.(file)._SwiftNSOperatingSystemVersion.==, | |
| Swift.(file).AnyIndex.==, | |
| Swift.(file).==, | |
| Swift.(file).==, | |
| Swift.(file).==, | |
| Swift.(file).==, | |
| Swift.(file).==, | |
| Swift.(file).==, | |
| Swift.(file).ContiguousArray.==, | |
| Swift.(file).ArraySlice.==, | |
| Swift.(file).Array.==, | |
| Swift.(file).AutoreleasingUnsafeMutablePointer.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).ClosedRange.==, | |
| Swift.(file).Dictionary.Keys.==, | |
| Swift.(file).Dictionary.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).EmptyCollection.==, | |
| Swift.(file).Equatable.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).FloatingPoint.==, | |
| Swift.(file).ManagedBufferPointer.==, | |
| Swift.(file).Optional.==, | |
| Swift.(file).Optional.==, | |
| Swift.(file).Optional.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).Range.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).Set.==, | |
| Swift.(file).Index.==, | |
| Swift.(file).Strideable.==, | |
| Swift.(file)._UIntBuffer.Index.==, | |
| Swift.(file).UnsafeMutablePointer.==, | |
| Swift.(file).UnsafePointer.==, | |
| Swift.(file)._ValidUTF8Buffer.Index.==, | |
| Swift.(file).BinaryInteger.==, | |
| Swift.(file).StringProtocol.==]) | |
| (tuple_expr implicit type='($T1, $T2)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (integer_literal_expr implicit type='$T1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1) | |
| (integer_literal_expr implicit type='$T2' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=0))) | |
| Score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type Variables: | |
| $T0 [lvalue allowed] subtype_of_existential involves_type_vars bindings={} @ locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| $T1 fully_bound literal=3 involves_type_vars bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int} @ locator@0x7fdfd4c22f38 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| $T2 fully_bound literal=3 involves_type_vars bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int} @ locator@0x7fdfd4c22fc8 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| Active Constraints: | |
| Inactive Constraints: | |
| $T1 literal conforms to ExpressibleByIntegerLiteral [[locator@0x7fdfd4c22f38 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; | |
| $T2 literal conforms to ExpressibleByIntegerLiteral [[locator@0x7fdfd4c22fc8 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; | |
| ($T1, $T2) -> Bool applicable fn $T0 [[locator@0x7fdfd4c230f0 [Binary@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> apply function]]]; | |
| disjunction [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]:$T0 bound to decl Swift.(file).Int.== : (Int.Type) -> (Int, Int) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : (Any.Type?, Any.Type?) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : ((), ()) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Bool.== : (Bool.Type) -> (Bool, Bool) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Character.== : (Character.Type) -> (Character, Character) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : (Character.UnicodeScalarView.Index.Type) -> (Character.UnicodeScalarView.Index, Character.UnicodeScalarView.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).CodingUserInfoKey.== : (CodingUserInfoKey.Type) -> (CodingUserInfoKey, CodingUserInfoKey) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).OpaquePointer.== : (OpaquePointer.Type) -> (OpaquePointer, OpaquePointer) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).FloatingPointSign.== : (FloatingPointSign.Type) -> (FloatingPointSign, FloatingPointSign) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).AnyHashable.== : (AnyHashable.Type) -> (AnyHashable, AnyHashable) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UInt8.== : (UInt8.Type) -> (UInt8, UInt8) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Int8.== : (Int8.Type) -> (Int8, Int8) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UInt16.== : (UInt16.Type) -> (UInt16, UInt16) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Int16.== : (Int16.Type) -> (Int16, Int16) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UInt32.== : (UInt32.Type) -> (UInt32, UInt32) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Int32.== : (Int32.Type) -> (Int32, Int32) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UInt64.== : (UInt64.Type) -> (UInt64, UInt64) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Int64.== : (Int64.Type) -> (Int64, Int64) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UInt.== : (UInt.Type) -> (UInt, UInt) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).AnyKeyPath.== : (AnyKeyPath.Type) -> (AnyKeyPath, AnyKeyPath) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Scalar.== : (Unicode.Scalar.Type) -> (Unicode.Scalar, Unicode.Scalar) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).ObjectIdentifier.== : (ObjectIdentifier.Type) -> (ObjectIdentifier, ObjectIdentifier) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).String.== : (String.Type) -> (String, String) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : (String.Index.Type) -> (String.Index, String.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UnsafeMutableRawPointer.== : (UnsafeMutableRawPointer.Type) -> (UnsafeMutableRawPointer, UnsafeMutableRawPointer) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UnsafeRawPointer.== : (UnsafeRawPointer.Type) -> (UnsafeRawPointer, UnsafeRawPointer) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UnicodeDecodingResult.== : (UnicodeDecodingResult.Type) -> (UnicodeDecodingResult, UnicodeDecodingResult) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file)._SwiftNSOperatingSystemVersion.== : (_SwiftNSOperatingSystemVersion.Type) -> (_SwiftNSOperatingSystemVersion, _SwiftNSOperatingSystemVersion) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).AnyIndex.== : (AnyIndex.Type) -> (AnyIndex, AnyIndex) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : <T where T : RawRepresentable, T.RawValue : Equatable> (T, T) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : <A, B where A : Equatable, B : Equatable> ((A, B), (A, B)) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : <A, B, C where A : Equatable, B : Equatable, C : Equatable> ((A, B, C), (A, B, C)) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : <A, B, C, D where A : Equatable, B : Equatable, C : Equatable, D : Equatable> ((A, B, C, D), (A, B, C, D)) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : <A, B, C, D, E where A : Equatable, B : Equatable, C : Equatable, D : Equatable, E : Equatable> ((A, B, C, D, E), (A, B, C, D, E)) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).== : <A, B, C, D, E, F where A : Equatable, B : Equatable, C : Equatable, D : Equatable, E : Equatable, F : Equatable> ((A, B, C, D, E, F), (A, B, C, D, E, F)) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).ContiguousArray.== : <Element where Element : Equatable> (ContiguousArray<Element>.Type) -> (ContiguousArray<ContiguousArray<Element>.Element>, ContiguousArray<ContiguousArray<Element>.Element>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).ArraySlice.== : <Element where Element : Equatable> (ArraySlice<Element>.Type) -> (ArraySlice<ArraySlice<Element>.Element>, ArraySlice<ArraySlice<Element>.Element>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Array.== : <Element where Element : Equatable> (Array<Element>.Type) -> (Array<Array<Element>.Element>, Array<Array<Element>.Element>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).AutoreleasingUnsafeMutablePointer.== : <Pointee> (AutoreleasingUnsafeMutablePointer<Pointee>.Type) -> (AutoreleasingUnsafeMutablePointer<Pointee>, AutoreleasingUnsafeMutablePointer<Pointee>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : <Bound where Bound : Strideable, Bound.Stride : SignedInteger> (ClosedRange<Bound>.Index.Type) -> (ClosedRange<Bound>.Index, ClosedRange<Bound>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).ClosedRange.== : <Bound where Bound : Comparable> (ClosedRange<Bound>.Type) -> (ClosedRange<Bound>, ClosedRange<Bound>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Dictionary.Keys.== : <Key, Value where Key : Hashable> (Dictionary<Key, Value>.Keys.Type) -> (Dictionary<Key, Value>.Keys, Dictionary<Key, Value>.Keys) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Dictionary.== : <Key, Value where Key : Hashable, Value : Equatable> (Dictionary<Key, Value>.Type) -> ([Key : Value], [Key : Value]) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : <Key, Value where Key : Hashable> (Dictionary<Key, Value>.Index.Type) -> (Dictionary<Key, Value>.Index, Dictionary<Key, Value>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : <Base where Base : Collection> (LazyDropWhileCollection<Base>.Index.Type) -> (LazyDropWhileCollection<Base>.Index, LazyDropWhileCollection<Base>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).EmptyCollection.== : <Element> (EmptyCollection<Element>.Type) -> (EmptyCollection<Element>, EmptyCollection<Element>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Equatable.== : <Self where Self : Equatable> (Self.Type) -> (Self, Self) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : <Base where Base : Collection, Base.Element : Collection> (FlattenCollection<Base>.Index.Type) -> (FlattenCollection<Base>.Index, FlattenCollection<Base>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).FloatingPoint.== : <Self where Self : FloatingPoint> (Self.Type) -> (Self, Self) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).ManagedBufferPointer.== : <Header, Element> (ManagedBufferPointer<Header, Element>.Type) -> (ManagedBufferPointer<Header, Element>, ManagedBufferPointer<Header, Element>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Optional.== : <Wrapped where Wrapped : Equatable> (Optional<Wrapped>.Type) -> (Wrapped?, Wrapped?) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Optional.== : <Wrapped> (Optional<Wrapped>.Type) -> (Wrapped?, _OptionalNilComparisonType) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Optional.== : <Wrapped> (Optional<Wrapped>.Type) -> (_OptionalNilComparisonType, Wrapped?) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : <Base where Base : Collection> (LazyPrefixWhileCollection<Base>.Index.Type) -> (LazyPrefixWhileCollection<Base>.Index, LazyPrefixWhileCollection<Base>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Range.== : <Bound where Bound : Comparable> (Range<Bound>.Type) -> (Range<Range<Bound>.Bound>, Range<Range<Bound>.Bound>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : <Base where Base : BidirectionalCollection> (ReversedCollection<Base>.Index.Type) -> (ReversedCollection<Base>.Index, ReversedCollection<Base>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Set.== : <Element where Element : Hashable> (Set<Element>.Type) -> (Set<Element>, Set<Element>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Index.== : <Element where Element : Hashable> (Set<Element>.Index.Type) -> (Set<Element>.Index, Set<Element>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).Strideable.== : <Self where Self : Strideable> (Self.Type) -> (Self, Self) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file)._UIntBuffer.Index.== : <Storage, Element where Storage : FixedWidthInteger, Storage : UnsignedInteger, Element : FixedWidthInteger, Element : UnsignedInteger> (_UIntBuffer<Storage, Element>.Index.Type) -> (_UIntBuffer<Storage, Element>.Index, _UIntBuffer<Storage, Element>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UnsafeMutablePointer.== : <Pointee> (UnsafeMutablePointer<Pointee>.Type) -> (UnsafeMutablePointer<Pointee>, UnsafeMutablePointer<Pointee>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).UnsafePointer.== : <Pointee> (UnsafePointer<Pointee>.Type) -> (UnsafePointer<Pointee>, UnsafePointer<Pointee>) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file)._ValidUTF8Buffer.Index.== : <Storage where Storage : FixedWidthInteger, Storage : UnsignedInteger> (_ValidUTF8Buffer<Storage>.Index.Type) -> (_ValidUTF8Buffer<Storage>.Index, _ValidUTF8Buffer<Storage>.Index) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).BinaryInteger.== : <Self, Other where Self : BinaryInteger, Other : BinaryInteger> (Self.Type) -> (Self, Other) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; or $T0 bound to decl Swift.(file).StringProtocol.== : <Self, S where Self : StringProtocol, S : StringProtocol> (Self.Type) -> (Self, S) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; | |
| ($T1 fully_bound literal=3 involves_type_vars bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int}) | |
| ($T2 fully_bound literal=3 involves_type_vars bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int}) | |
| (assuming $T0 bound to decl Swift.(file).Int.== : (Int.Type) -> (Int, Int) -> Bool [[locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; | |
| (overload set choice binding $T0 := (Int, Int) -> Bool) | |
| ---Constraint graph--- | |
| $T0: | |
| $T1: | |
| Constraints: | |
| $T1 operator arg conv Int [[locator@0x7fdfd4c01260 [Binary@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> apply argument -> comparing call argument #0 to parameter #0]]]; | |
| $T1 literal conforms to ExpressibleByIntegerLiteral [[locator@0x7fdfd4c22f38 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; | |
| $T2: | |
| Constraints: | |
| $T2 operator arg conv Int [[locator@0x7fdfd4c012d8 [Binary@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> apply argument -> comparing call argument #1 to parameter #1]]]; | |
| $T2 literal conforms to ExpressibleByIntegerLiteral [[locator@0x7fdfd4c22fc8 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1]]]; | |
| ---Connected components--- | |
| 0: $T1 | |
| 1: $T2 | |
| (solving component #0 | |
| ($T1 literal=3 bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int}) | |
| Active bindings: $T1 := Int | |
| (trying $T1 := Int | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ) | |
| finished component #0) | |
| (solving component #1 | |
| ($T2 literal=3 bindings={(subtypes of) (default from ExpressibleByIntegerLiteral) Int}) | |
| Active bindings: $T2 := Int | |
| (trying $T2 := Int | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ) | |
| finished component #1) | |
| (composed solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ) | |
| ---Solution--- | |
| Fixed score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type variables: | |
| $T1 as Int @ locator@0x7fdfd4c22f38 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| $T2 as Int @ locator@0x7fdfd4c22fc8 [IntegerLiteral@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| $T0 as (Int, Int) -> Bool @ locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] | |
| Overload choices: | |
| locator@0x7fdfd4c21600 [OverloadedDeclRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1] with Swift.(file).Int.== as ==: (Int, Int) -> Bool | |
| Constraint restrictions: | |
| Disjunction choices: | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ---Type-checked expression--- | |
| (binary_expr type='Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (dot_syntax_call_expr implicit type='(Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr type='(Int.Type) -> (Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.== function_ref=unapplied) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(Int, Int)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1))) | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=0))))) | |
| (overload set choice binding $T0 := () -> Int1) | |
| ---Initial constraints for the given expression--- | |
| (member_ref_expr implicit type='<null>' decl=Swift.(file).Bool._getBuiltinLogicValue() | |
| (binary_expr type='Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (dot_syntax_call_expr implicit type='(Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr type='(Int.Type) -> (Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.== function_ref=unapplied) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(Int, Int)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1))) | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=0)))))) | |
| Score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type Variables: | |
| $T0 [lvalue allowed] as () -> Int1 @ locator@0x7fdfd4c0fe00 [MemberRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> member] | |
| Active Constraints: | |
| Inactive Constraints: | |
| Resolved overloads: | |
| selected overload set choice Bool._getBuiltinLogicValue: $T0 == () -> Int1 | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ---Solution--- | |
| Fixed score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type variables: | |
| $T0 as () -> Int1 @ locator@0x7fdfd4c0fe00 [MemberRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> member] | |
| Overload choices: | |
| locator@0x7fdfd4c0fe00 [MemberRef@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> member] with Swift.(file).Bool._getBuiltinLogicValue() as Bool._getBuiltinLogicValue: () -> Int1 | |
| Constraint restrictions: | |
| Disjunction choices: | |
| ---Type-checked expression--- | |
| (dot_syntax_call_expr implicit type='() -> Int1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Bool) -> () -> Int1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Bool._getBuiltinLogicValue() function_ref=double) | |
| (binary_expr type='Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (dot_syntax_call_expr implicit type='(Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr type='(Int.Type) -> (Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.== function_ref=unapplied) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(Int, Int)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1))) | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=0)))))) | |
| ---Initial constraints for the given expression--- | |
| (call_expr implicit type='<null>' arg_labels= | |
| (dot_syntax_call_expr implicit type='() -> Int1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Bool) -> () -> Int1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Bool._getBuiltinLogicValue() function_ref=double) | |
| (binary_expr type='Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (dot_syntax_call_expr implicit type='(Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr type='(Int.Type) -> (Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.== function_ref=unapplied) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(Int, Int)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1))) | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=0)))))) | |
| (tuple_expr implicit type='()')) | |
| Score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type Variables: | |
| $T0 as Int1 @ locator@0x7fdfd5259a00 [Call@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> function result] | |
| Active Constraints: | |
| Inactive Constraints: | |
| (found solution 0 0 0 0 0 0 0 0 0 0 0) | |
| ---Solution--- | |
| Fixed score: 0 0 0 0 0 0 0 0 0 0 0 | |
| Type variables: | |
| $T0 as Int1 @ locator@0x7fdfd5259a00 [Call@/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 -> function result] | |
| Overload choices: | |
| Constraint restrictions: | |
| Disjunction choices: | |
| ---Type-checked expression--- | |
| (call_expr implicit type='Int1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels= | |
| (dot_syntax_call_expr implicit type='() -> Int1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Bool) -> () -> Int1' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Bool._getBuiltinLogicValue() function_ref=double) | |
| (binary_expr type='Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (dot_syntax_call_expr implicit type='(Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr type='(Int.Type) -> (Int, Int) -> Bool' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.== function_ref=unapplied) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(Int, Int)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=1))) | |
| (call_expr implicit type='Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] arg_labels=_builtinIntegerLiteral: | |
| (constructor_ref_call_expr implicit type='(_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] | |
| (declref_expr implicit type='(Int.Type) -> (_MaxBuiltinIntegerType) -> Int' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] decl=Swift.(file).Int.init(_builtinIntegerLiteral:) function_ref=single) | |
| (type_expr implicit type='Int.Type' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] typerepr='Int')) | |
| (tuple_expr implicit type='(_builtinIntegerLiteral: Int2048)' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] names=_builtinIntegerLiteral | |
| (integer_literal_expr implicit type='Int2048' location=/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 range=[/var/folders/k_/1374v5ms6wz1lhtvrkrky2800000gq/T/repl1-b583bf..swift:1:1 - line:1:1] value=0)))))) | |
| (tuple_expr implicit type='()')) | |
| $R0: Int = 2 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment