Scope problem of implicit argument and fulfilling class type

[WtzLAS]

Question: https://github.com/cicada-lang/cicada-seminar-2022/blob/master/notes/scope-problem-of-implicit-argument-and-fulfilling-class-type.md

在提供实际值的类型检查中使用了之前留下的结果，因此dom等neutral会保留干扰这次的类型检查

如果在提供值之后使用原始定义进行检查会不会解决问题