"Does not unify with trait method type" panic in comptime code

[jfecher]

Aim

fn main() {
    assert_false!();
}

comptime fn assert_false() -> Quoted {
    let first = quote { assert( };
    let second = quote { false); };
    first.append(second)
}

Expected Behavior

The program to run, and fail with an assert(false);

Bug

The application panicked (crashed).
Message:  internal error: entered unreachable code: Impl method type fn(Quoted, Quoted) -> Quoted does not unify with trait method type fn(Self, Self) -> Self during monomorphization
Location: compiler/noirc_frontend/src/monomorphization/mod.rs:1771

This is a bug. We may have already fixed this in newer versions of Nargo so try searching for similar issues at https://github.com/noir-lang/noir/issues/.
If there isn't an open issue for this bug, consider opening one at https://github.com/noir-lang/noir/issues/new?labels=bug&template=bug_report.yml
exit 101

To Reproduce

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

None

Nargo Version

No response

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response