The [[assume(expression)]] attribute (C++23).

Synopsis

Declared in <mrdocs/Metadata/Attribute/AssumeAttribute.hpp>

struct AssumeAttribute final
    : AttributeCommonBase<AttributeKind::Assume>

Description

States that the expression always evaluates to true at this point.

Base Classes

Name

Description

AttributeCommonBase<AttributeKind::Assume>

CRTP base that ties a concrete attribute to a fixed AttributeKind.

Static Member Functions

Data Members

Name

Description

Expression

The assumed expression, as written.

Static Data Members

Name

kind_id

Created with MrDocs