| 47 | class BaseExtensionProvider : public ExtensionProvider { |
| 48 | public: |
| 49 | Result<DeclarationInfo> MakeRel(const ConversionOptions& conv_opts, |
| 50 | const std::vector<DeclarationInfo>& inputs, |
| 51 | const ExtensionDetails& ext_details, |
| 52 | const ExtensionSet& ext_set) override { |
| 53 | auto details = dynamic_cast<const DefaultExtensionDetails&>(ext_details); |
| 54 | return MakeRel(conv_opts, inputs, details.rel, ext_set); |
| 55 | } |
| 56 | |
| 57 | virtual Result<DeclarationInfo> MakeRel(const ConversionOptions& conv_opts, |
| 58 | const std::vector<DeclarationInfo>& inputs, |