Function typed_hole 

pub(crate) fn typed_hole<'db>(
    ctx: &DiagnosticsContext<'_, 'db>,
    d: &TypedHole<'db>,
) -> Diagnostic