Fix trait solver overflow with non_local_definitions lint
#123594
+41
−1
Merged