{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
    /// This computes `specialize(ctor, self)`. See top of the file for explanations.
    /// Only call if `ctor.is_covered_by(self.head().ctor())` is true.