Aux pattern not working for nested implicits...

Get class that is being refined from the refinement...

Reflective call occurred when using Aux pattern with type selection...

Specifying weaker Aux type bound does not cause compile error...