flux_middle::rty::refining

Function refine_default

Source 
fn refine_default(bty: BaseTy) -> SubsetTyCtor