[Bug 379196] block<> typechecking looks at the wrong block