pub fn internal_require_implicit(db: &dyn SemanticGroup) -> GenericFunctionId