US300 24.07.2 p1 Specification of semiregular-box should not use "models" P2101

[wg21bot]

The behavior of semiregular-box cannot depend on modeling a concept.

Proposed change:
Change "model{s,ed}" to "satisfie{s,d}". Add semantic constraints on the use of semiregular-box if necessary.

[jwakely]

Reviewed by LWG small group on Monday morning.

[mclow]

CC will write a paper about the difference between "Models" and "Satisfies" and we will revisit.

[JeffGarland]

See LWG 3345 although it appears the issue is already resolved (no models or satisfies in view::common) in wg21.link/N4842

[JeffGarland]

Ignore comment about 'no models' in view::common -- that is incorrect.

[JeffGarland]

Full group in Prague Monday afternoon -- will review new Paper from Tim and Casey in Prague.

[JeffGarland]

D2101 “Models” subsumes “satisfies” is on the LWG wiki for review in Prague.

[JeffGarland]

Full group in Prague Tuesday morning -- approved by unanimous consent for c++20.

[jensmaurer]

Accepted. See paper P2101.