fn render_resolution_pat<'db>(
ctx: RenderContext<'_, 'db>,
pattern_ctx: &PatternContext,
local_name: Name,
import_to_add: Option<LocatedImport>,
resolution: ScopeDef<'db>,
) -> Builderfn render_resolution_pat<'db>(
ctx: RenderContext<'_, 'db>,
pattern_ctx: &PatternContext,
local_name: Name,
import_to_add: Option<LocatedImport>,
resolution: ScopeDef<'db>,
) -> Builder