Closed bartekpacia closed 4 months ago
I discussed this briefly with @bdmendes today.
TL;DR leancode_lint:
custom_lint
LazyConsumer
Consumer
package:provider
I discussed this briefly with @bdmendes today.
TL;DR leancode_lint:
custom_lint
). For example we can enforce usage ofLazyConsumer
instead ofConsumer
frompackage:provider
.