fn check_expectations(tcx: TyCtxt<'_>, tool_filter: Option<Symbol>)