199             let file_id2 = files.add(  localVariable
269                             Label::primary(file_id2, 17..18)
271                             Label::secondary(file_id2, 17..18)
278                             Label::primary(file_id2, 49..50)
280                             Label::primary(file_id2, 52..53)
282                             Label::secondary(file_id2, 48..54)
502             let file_id2 = files.add(  localVariable
532 …                   Label::primary(file_id2, 37..44).with_message("expected `Nat`, found `String`"),
1010             let file_id2 = files.add(  localVariable
1040                         Label::primary(file_id2, 17..80).with_message("expected (), found integer"),
1041                         Label::secondary(file_id2, 55..55).with_message("missing whitespace"),