Rollup merge of #35480 - KiChjang:e0379-bonus, r=nikomatsakis

Move E0379 check from typeck to ast validation

Part of #35233.
Extension of #35338, #35364.
Fixes #35404.

diff --cc src/librustc/hir/lowering.rs
Simple merge

diff --cc src/librustc/infer/error_reporting.rs
Simple merge

diff --cc src/libsyntax/ast.rs
Simple merge

diff --cc src/libsyntax/ext/build.rs
Simple merge

diff --cc src/libsyntax/parse/mod.rs
Simple merge

diff --cc src/libsyntax/parse/parser.rs
Simple merge

diff --cc src/libsyntax/print/pprust.rs
Simple merge

diff --cc src/libsyntax/visit.rs
Simple merge

diff --cc src/libsyntax_ext/deriving/generic/mod.rs
Simple merge