{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"///"}]}
/// 2. Some local type must appear in `Self`.
/// 1. All type parameters in `Self` must be "covered" by some local type constructor.
#[instrument(level = "debug", skip(tcx), ret)]