pub const has_typeck_results: &str = _;