JuniorTheoryCommon

What happens when this program is compiled and run?

SWIFT

func larger<T>(_ a: T, _ b: T) -> T {
    a > b ? a : b
}
print(larger(7, 3))

It does not compile

Expecting 7 because the call passes Int, which can be compared. The body is checked for any T, so it needs <T: Comparable>.
Expecting the check to happen during the run, when T is known. The compiler rejects the function before the program starts, so nothing runs.

How would you change the declaration so that the program prints 7?
What error does larger(Point(x: 1), Point(x: 2)) give once the constraint is added?

JuniorTheoryCommon

SWIFT

func larger<T>(_ a: T, _ b: T) -> T {
    a > b ? a : b
}
print(larger(7, 3))

It does not compile

Expecting 7 because the call passes Int, which can be compared. The body is checked for any T, so it needs <T: Comparable>.
Expecting the check to happen during the run, when T is known. The compiler rejects the function before the program starts, so nothing runs.

How would you change the declaration so that the program prints 7?
What error does larger(Point(x: 1), Point(x: 2)) give once the constraint is added?