Skip to content

Add Clause::ConstArgHasType#107965

Merged
bors merged 2 commits intorust-lang:masterfrom
BoxyUwU:add_const_arg_has_type_predicate
Feb 17, 2023
Merged

Add `Clause::ConstArgHasType`#107965
bors merged 2 commits intorust-lang:masterfrom
BoxyUwU:add_const_arg_has_type_predicate

Commits

Commits on Feb 17, 2023