This commit is contained in:
Shunsuke Shibayama 2023-02-06 03:34:26 +09:00
parent fcc75c3071
commit d4d239bd4a

View file

@ -1719,7 +1719,7 @@ impl ASTLowerer {
sup_class: &hir::Expr,
sub_sig: &hir::Signature,
) {
if let TypeObj::Generated(gen) = type_obj.base_or_sup().unwrap() {
if let Some(TypeObj::Generated(gen)) = type_obj.base_or_sup() {
if let Some(impls) = gen.impls() {
if !impls.contains_intersec(&mono("InheritableType")) {
errs.push(LowerError::inheritance_error(