bors aadd6189ad Auto merge of #87449 - matthiaskrgr:clippyy_v2, r=nagisa ...

more clippy::complexity fixes

(also a couple of clippy::perf fixes)

2021-08-01 09:15:15 +00:00

..

traits

Auto merge of #87449 - matthiaskrgr:clippyy_v2, r=nagisa

2021-08-01 09:15:15 +00:00

autoderef.rs

Combine individual limit queries into single limits query

2021-07-04 13:02:51 -05:00

infer.rs

Add initial implementation of HIR-based WF checking for diagnostics

2021-07-16 16:29:02 -05:00

lib.rs

Refactor vtable format.

2021-07-20 22:14:42 +08:00

opaque_types.rs

Use instrument debugging for more readable logs

2021-07-22 11:20:29 +00:00