rustc_hir_typeck::demand