Constant assumed_wf_types_for_rpitit

pub const assumed_wf_types_for_rpitit: DepKind;