pub fn scc_implicits(
    db: &dyn LoweringGroup,
    scc: ConcreteSCCRepresentative
) -> Maybe<Vec<TypeId>>
Expand description

Query implementation of LoweringGroup::scc_implicits.