about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/engine.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-02-13 23:49:39 +0000
committerMichael Goulet <michael@errs.io>2024-02-16 15:07:37 +0000
commit9c25823bb4bba6416ca4b15cd956ae92716f82eb (patch)
treef721cae71a460391c47a38917f4dd63574b0aee9 /compiler/rustc_trait_selection/src/traits/engine.rs
parent3250e953050be1a6867aac3745742f86ab406361 (diff)
downloadrust-9c25823bb4bba6416ca4b15cd956ae92716f82eb.tar.gz
rust-9c25823bb4bba6416ca4b15cd956ae92716f82eb.zip
Use extension trait derive
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/engine.rs')
-rw-r--r--compiler/rustc_trait_selection/src/traits/engine.rs7
1 files changed, 2 insertions, 5 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/engine.rs b/compiler/rustc_trait_selection/src/traits/engine.rs
index caf950037fd..b234b8a9d03 100644
--- a/compiler/rustc_trait_selection/src/traits/engine.rs
+++ b/compiler/rustc_trait_selection/src/traits/engine.rs
@@ -27,11 +27,8 @@ use rustc_middle::ty::TypeFoldable;
 use rustc_middle::ty::Variance;
 use rustc_middle::ty::{self, Ty, TyCtxt};
 
-pub trait TraitEngineExt<'tcx> {
-    fn new(infcx: &InferCtxt<'tcx>) -> Box<Self>;
-}
-
-impl<'tcx> TraitEngineExt<'tcx> for dyn TraitEngine<'tcx> {
+#[extension]
+pub impl<'tcx> TraitEngineExt<'tcx> for dyn TraitEngine<'tcx> {
     fn new(infcx: &InferCtxt<'tcx>) -> Box<Self> {
         if infcx.next_trait_solver() {
             Box::new(NextFulfillmentCtxt::new(infcx))