Skip to content

Enable validation everywhere #551

@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
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