Skip to content

Appropriate local classes #1631

Closed
Closed
@Damtev

Description

@Damtev

Description

Currently, local classes are filtered out from type storage as inappropriate, but, since they could be generated and instantiated (even though via reflection), they should not.

Expected behavior

Local classes should be considered as normal candidates in type storages - even though with less priority.

Environment

No specified environment.

Context

No additional context.

Metadata

Metadata

Assignees

Labels

comp-symbolic-engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change request

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions