{"ast_node_type":"function","tokens":[{"end":64,"kind":"keyword","start":0,"text":"fn"}]}
    fn check_dominates(&mut self, local: Local, loc: Location) {
impl SsaVisitor<'_, '_> {
        let set = &mut self.assignments[local];