Skip to content

Diagnostics clean-up#34

Open
mingxwa wants to merge 2 commits intongcpp:mainfrom
mingxwa:user/mingxwa/clean-up-diagnostics
Open

Diagnostics clean-up#34
mingxwa wants to merge 2 commits intongcpp:mainfrom
mingxwa:user/mingxwa/clean-up-diagnostics

Conversation

@mingxwa
Copy link
Copy Markdown
Collaborator

@mingxwa mingxwa commented May 4, 2026

Changes

  • Since we should always generate a hard error when entering the else branch of if constexpr (proxiable<P, F>), the returned bool doesn't make any difference. Removed a bunch of redundant verdict variables.
  • Renamed details::facade_traits::diagnose_proxiable() into diagnose_proxiable_noreturn().
  • Inlined details::refl_traits for simplicity and reduced diagnostic call stack for reflections.
  • Renamed details::refl_meta into reflection_meta to avoid name collision after simplicity.

As manually tested, the diagnostics work as expected. No functional changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant