Skip to content

Wands are not checked for self-framingness #974

@marcoeilers

Description

@marcoeilers

After a commit made to address #201, magic wand self-framingness checks were disabled completely. Malformed wands will still fail when they are applied or packaged, but can be inhaled. For example:

field f:Int

method foo(r: Ref)
{
    inhale true --* r.f > 9  // Silicon accepts this, Carbon complains here
    apply true --* r.f > 9   // Silicon only complains here
}

Found by @jackstodart

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions