{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"def"}]}
            def = redirect_def;
        if let Some(redirect_def) = self.detect_and_redirect_special_function(def)? {
        }