I suspect it’s due to the stability of the path t, because if you make it def or var your example works.
For sanity’s sake, I hope you aren’t generally writing methods like toAllOps like that (lifting type members to method type parameters) instead of with dependent method types.