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.