fn class_definition( ion: &TokenStream, span: Span, type: &Type, ident: &Ident, constructor: Option<Method>, specs: PrototypeSpecs, ) -> Result<[ItemImpl; 2]>