If you comment out the last line so this actually compiles today, I wonder if it’s really the associated type that’s the problem here, or is it the conditional conformance used in generic context? The fact that line 2 doesn’t print “bool” sounds a lot like this problem:
...but I don’t really understand the generics system well enough to be sure.