{"ast_node_type":"function","tokens":[{"end":87,"kind":"keyword","start":0,"text":"fn"}]}
    fn ctors_for_ty(&self, ty: &Self::Ty) -> Result<ConstructorSet<Self>, Self::Error>;
    /// This must follow the invariants of `ConstructorSet`