{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"//"}]}
        // We're only interested in arguments.
    fn visit_place(&mut self, place: &Place<'tcx>, context: PlaceContext, _location: Location) {
        if place.local == RETURN_PLACE || place.local.index() > self.mutable_args.domain_size() {