Skip to content

Enable validation everywhere #551

Closed
Closed
@RalfJung

Description

@RalfJung

Validation is currently disabled in a few places, they should all get fixed:

We also have a whitelist disabling it for a few functions:

Metadata

Metadata

Assignees

Labels

A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)C-bugCategory: This is a bug.C-projectCategory: a larger project is being tracked here, usually with checkmarks for individual steps

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions