<div dir="auto">Hello Amber Dev Team,<div dir="auto"><br></div><div dir="auto">Near the bottom of Record patterns (right above Record patterns and exhaustive switch), there is the following quote.</div><div dir="auto"><br></div><div dir="auto">---</div><div dir="auto"><br></div><div dir="auto">For compatibility, type patterns do not support the implicit inference of type arguments; e.g., the type pattern List l is always treated as a raw type pattern.</div><div dir="auto"><br></div><div dir="auto">---</div><div dir="auto"><br></div><div dir="auto">This makes a lot of sense, and I certainly understand why this is the case. But that does mean that there is an inconsistency.</div><div dir="auto"><br></div><div dir="auto">If I start off with a record, and then later realize that it should instead be a class with deconstructors, this may be a difficult to find bug in my code. At least, that's what it seems like without any testing.</div><div dir="auto"><br></div><div dir="auto">Is this inconsistency something that may be smoothed out further down the line? More specifically, should records be given this privilege if classes can't receive it too? Perhaps I am missing something, and thus, I'm just misinterpreting?</div><div dir="auto"><br></div><div dir="auto">Thank you for your time and help!</div><div dir="auto">David Alayachew</div></div>