{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// `elaborated-predicates-unconstrained-late-bound.rs` for a test.
    /// *type variable* can be substituted with a type that has late-bound regions. See
    fn check_elaborated_projection_mentions_input_lifetimes(