language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-03 10:23:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: add error msg for debug_assert!

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-23 11:17:10 +09:00
parent 0e070b3572
commit 1767df5de2
7 changed files with 21 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

16
crates/erg_compiler/lower.rs
View file

@ -793,7 +793,10 @@ impl ASTLowerer {
VarInfo::ILLEGAL.clone()
});
if let (Some(guard), Some(return_t)) = (guard, vi.t.mut_return_t()) {
debug_assert!(self.module.context.subtype_of(return_t, &Type::Bool));
debug_assert!(
self.module.context.subtype_of(return_t, &Type::Bool),
"{return_t} is not a subtype of Bool"
);
*return_t = guard;
}
let mut args = args.into_iter();
@ -946,10 +949,13 @@ impl ASTLowerer {
errs.extend(es);
}
if let Some(guard) = guard {
debug_assert!(self
.module
.context
.subtype_of(vi.t.return_t().unwrap(), &Type::Bool));
debug_assert!(
self.module
.context
.subtype_of(vi.t.return_t().unwrap(), &Type::Bool),
"{} is not a subtype of Bool",
vi.t.return_t().unwrap()
);
if let Some(ret_t) = vi.t.mut_return_t() {
*ret_t = guard;
}