type semanticAdorner … var _ … func (a *semanticAdorner) GetMetadata(elem any) string { … } // Print returns a string representation of the Expr message, // annotated with types from the CheckedExpr. The Expr must // be a sub-expression embedded in the CheckedExpr. func Print(e ast.Expr, checked *ast.AST) string { … }