Generic constraints can be bypassed using proc default initialization

[alaviss]

Example

type
  O[T: Ordinal] = object
    x: T

proc invalid[T]: O[T] = discard

let x = invalid[string]()
echo typeof(x)

Actual Output

O[system.string]

Expected Output

This should not compile