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

fix: remove unnecessary type checkings

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-25 17:14:38 +09:00
parent 3dcd4d2dae
commit 0f0d042020
3 changed files with 3 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/erg_compiler/context/instantiate.rs
View file

@ -273,7 +273,6 @@ impl Context {
pub(crate) fn instantiate_var_sig_t(
&self,
t_spec: Option<&TypeSpec>,
opt_eval_t: Option<Type>,
mode: RegistrationMode,
) -> TyCheckResult<Type> {
let mut tmp_tv_cache = TyVarCache::new(self.level, self);
@ -282,13 +281,6 @@ impl Context {
} else {
free_var(self.level, Constraint::new_type_of(Type))
};
if let Some(eval_t) = opt_eval_t {
if let Some(t_spec) = t_spec {
self.sub_unify(&eval_t, &spec_t, t_spec, None)?;
} else {
self.sub_unify(&eval_t, &spec_t, &(), None)?;
}
}
Ok(spec_t)
}