--- Log opened Sun Oct 02 00:00:36 2022
02:49 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 246 seconds]
05:06 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
09:16 < jeremyrubin> well Hash is a trait, not a "type" 
09:17 < jeremyrubin> unles it's a generic parameter 
09:17 < jeremyrubin> but the : bound can't check equality, it checks implmenents 
09:17 < jeremyrubin> or subtypes
09:18 < jeremyrubin> so the bound P: miniscript::MiniscriptKey<Hash=P>  is checking the MiniscriptKey<Hash=P> trait is implemented for P
09:19 < jeremyrubin> the sharp edge is that there is a difference between generic traits and associated type traits in that assoc type traits may only have one implementation
09:19 < jeremyrubin> if you need to check that some type is concretely equal, there are some traits that can do that
09:21 < jeremyrubin> but usually you need to handroll that, e.g. https://docs.rs/typenum/latest/typenum/type_operators/trait.IsEqual.html
--- Log closed Mon Oct 03 00:00:37 2022