EarlyBinder
TraitRef
ImplTraitHeader
SubdiagnosticMessageOp
SubdiagMessageOp
ProofTreeVisitor
VisitorResult