Module implicits

Traits

FunctionImplicitsTrait

A trait to add helper methods in LoweringGroup.

Functions

function_implicits

Query implementation of crate::db::LoweringGroup::function_implicits.

inner_lower_implicits

Similar to lower_implicits, but uses Maybe<> for convenience.

lower_implicits

Lowering phase that adds implicits.

scc_implicits

Query implementation of LoweringGroup::scc_implicits.