Fix types

This commit is contained in:
Ayaz Hafiz 2023-07-16 15:26:40 -05:00
parent b3ccc905a4
commit dac4d842d8
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 11 additions and 2 deletions

View file

@ -2415,6 +2415,8 @@ fn update<'a>(
abilities_store,
loc_expects,
loc_dbgs,
#[cfg(debug_assertions)]
checkmate,
} => {
log!("solved types for {:?}", module_id);

View file

@ -433,6 +433,9 @@ fn check_derived_typechecks_and_golden(
pending_derives: Default::default(),
exposed_by_module: &exposed_for_module.exposed_by_module,
derived_module: Default::default(),
#[cfg(debug_assertions)]
checkmate: None,
};
let SolveOutput {

View file

@ -438,7 +438,7 @@ fn write_source_with_answers<W: io::Write>(
Some(InferredQuery {
source_line_column,
..
}) if source_line_column.line == i as _
}) if source_line_column.line == i as u32
) {
let inferred = sorted_queries.pop().unwrap();