fn validate_required_body(
db: &(dyn SourceDatabase + 'static),
owner: DefWithBodyId,
current_file_id: HirFileId,
syntax_node: SyntaxNodePtr,
body: Option<&Expr>,
collector: &mut ExprCollector<'_>,
)fn validate_required_body(
db: &(dyn SourceDatabase + 'static),
owner: DefWithBodyId,
current_file_id: HirFileId,
syntax_node: SyntaxNodePtr,
body: Option<&Expr>,
collector: &mut ExprCollector<'_>,
)