Destructuring a 2-tuple throws linter warning but still works. Incompatible types: tuple() !~ {var1, var2}

Correct. This will be fixed in v1.13.