Re: How to tie procedure to type?

[japplegame]

Another strange artifact: 
    
    
    type
      BinaryTree[V; compare: static[typed]] = object
    
    const less1 = proc(a, b: int): bool = a < b
    var tree1: BinaryTree[int, less1]
    echo tree1.compare(20, 30); # works
    
    
    proc less2(a, b: int): bool = a < b
    var tree2: BinaryTree[int, less2]
    echo tree2.compare(20, 30); # error: in expression 'tree2.compare(20, 30)': 
identifier expected, but found 'tree2.compare'
    
    
    Run

WAT?