use rustc_middle::queries::is_no_builtins::Key;
use rustc_middle::queries::is_no_builtins::Value;
use super::*;