// #Regression #Diagnostics 
// Regression test for DevDiv:64339
// Note that the bug still repros in CHK/DBG bits - we will knownfail it
//<Expects status="error" span="(8,25-8,29)" id="FS0010">Unexpected keyword 'lazy' in pattern$</Expects>
//<Expects status="error" span="(11,29-11,33)" id="FS0010">Unexpected keyword 'lazy' in pattern$</Expects>

// 5 elements -> ok
type Ok(a, b, c, d, e : lazy<int>) = class end

// 6 elements -> weird diagnostics (in non RET builds)
type Bad(a, b, c, d, e, f : lazy<int>) = class end
