{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
        // We need to lower the body even if it's unneeded for never pattern in match,
        let is_never_pattern = pat.is_never_pattern();
        // ensure that we can get HirId for DefId if need (issue #137708).