{"ast_node_type":"impl","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
        // Underlying types of `impl Trait`s are marked as reachable unconditionally,
    if impl_trait_pass {
        // so this pass doesn't need to be a part of the fixed point iteration below.