Record in list decomposed in a single step needs type hint, is this a bug?

I made a hack to convert

let { record-pattern} = expr 

==>

switch expr {
  {record-pattern} =>
}

So that more type info could be used to resolve the names, the fix could be relax the rule to include tuple patterns in such transformation