{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"//"}]}
                // First check that the base type is valid
            ty::Pat(base, pat) => {
                self.visit_value(&val.transmute(self.ecx.layout_of(*base)?, self.ecx)?)?;