∀ (stx : Lean.Syntax) (id : Lean.Name) (lctx : Lean.LocalContext) (expectedType? : Option Lean.Expr),
  sizeOf (Lean.Elab.CompletionInfo.dotId stx id lctx expectedType?) =
    1 + sizeOf stx + sizeOf id + sizeOf lctx + sizeOf expectedType?