Update motivation to reflect current state of AFIT

Jules-Bertholet · Jules-Bertholet · commit 149b016b1eef · 2023-10-25T17:24:07.000-04:00
diff --git a/text/3437-implementable-trait-alias.md b/text/3437-implementable-trait-alias.md
@@ -84,14 +84,13 @@ use frob_lib::LocalFrobber;
 struct MyType;
 
 impl LocalFrobber for MyType {
-    #[refine]
     async fn frob(&self) {
         println!("Sloo is 120% klutzed. Initiating brop sequence...")
     }
 }
 ```
 
-This is distinctly worse. Joe now has to reference both `Frobber` and `LocalFrobber` in his code, and (assuming that the final AFIT feature ends up requiring it) also has to write `#[refine]`.
+This is distinctly worse; Joe now has to reference both `Frobber` and `LocalFrobber` in his code.
 
 ### With today's `#![feature(trait_alias)]`
 

Original file line number	Diff line number	Diff line change
`@@ -84,14 +84,13 @@ use frob_lib::LocalFrobber;`
`84`	`84`	`struct MyType;`
`85`	`85`
`86`	`86`	`impl LocalFrobber for MyType {`
`87`		`- #[refine]`
`88`	`87`	`async fn frob(&self) {`
`89`	`88`	`println!("Sloo is 120% klutzed. Initiating brop sequence...")`
`90`	`89`	`}`
`91`	`90`	`}`
`92`	`91`	```
`93`	`92`
`94`		-This is distinctly worse. Joe now has to reference both `Frobber` and `LocalFrobber` in his code, and (assuming that the final AFIT feature ends up requiring it) also has to write `#[refine]`.
	`93`	+This is distinctly worse; Joe now has to reference both `Frobber` and `LocalFrobber` in his code.
`95`	`94`
`96`	`95`	### With today's `#![feature(trait_alias)]`
`97`	`96`