Commit 2025-04-08 23:50 80dc311a

View on Github →

chore: clean up more Qq usage (#23846) Either all these annotations were needed in an earlier version, or they were left from debugging and have been cargo-culted since. In most cases this removes a type ascription with no replacement. When this doesn't work, replacing x with q($x) usually does, as this allows Qq to participate in unification.

Estimated changes