pub fn summarize_declaration(decl: &Declaration) -> DeclSummary
Summarize a declaration without checking it.