Skip to content

rewrite ensure_drop_predicates_are_implied_by_item_defn#97326

Closed
lcnr wants to merge 1 commit intorust-lang:masterfrom
lcnr:dropck-cleanup-2
Closed

rewrite `ensure_drop_predicates_are_implied_by_item_defn`#97326
lcnr wants to merge 1 commit intorust-lang:masterfrom
lcnr:dropck-cleanup-2

Commits

Commits on May 23, 2022