rustc_hir_analysis::check::demand