Auto merge of #113546 - cjgillot:unused-query, r=compiler-errors

Querify unused trait check.

This code transitively loads information for all bodies, and from resolutions. As it does not return a value, it should be beneficial to have it as a query.

Author: bors