{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"///"}]}
    /// - Ty(place): Type of place
    /// Notation:
    /// - `(a, b)`: Represents the function parameters `base_path_ty` and `captured_by_move_projs`