Two variable and type refinement

[briangmilnes]

module DoubleVarRefineError

let no_error (p : list int{Cons? p}) (p' : list int{Cons? p'}) = 0

/// Unbound variables let error1 (p p': list int{Cons? p}) = 0

let error2 (p p': list int{Cons? p /\ Cons? p'}) = 0

That seems intentional but an unbound variable warning seems insufficient.