Skip to content

Add is_convertible_without_narrowing #54

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
yaito3014 wants to merge 17 commits into
base: main
Choose a base branch
from
Open

Add is_convertible_without_narrowing #54

Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
384edff
Add `is_convertible_without_narrowing`
yaito3014 Mar 11, 2026
37bf953
Add test
yaito3014 Mar 12, 2026
6443dfa
Styling fix
yaito3014 Mar 12, 2026
65e4638
Fix for MSVC
yaito3014 Mar 12, 2026
9ba01d3
Refactor `aggregate_initialize_overload` using `is_convertible_withou…
yaito3014 Mar 12, 2026
0b16dda
Add edge cases
yaito3014 Mar 12, 2026
1a0b140
Add `is_assignable_without_narrowing`
yaito3014 Mar 12, 2026
1a35a62
Add clarification
yaito3014 Mar 12, 2026
8a4f052
Revert `is_assignable_without_narrowing` related change
yaito3014 Mar 12, 2026
b9c6216
Cleanup
yaito3014 Mar 12, 2026
cdec1b1
Refine `is_convertible_without_narrowing`
yaito3014 Mar 12, 2026
daab5d1
MSVC workaround
yaito3014 Mar 12, 2026
1380b7e
Rename "aggregate_initialize" to "no_narrowing"
yaito3014 Mar 13, 2026
66ca64b
Rewrite const-west to east-const
yaito3014 Mar 13, 2026
de99433
Add element-to-array test for `is_convertible_without_narrowing`
yaito3014 Mar 13, 2026
c378972
Revert "Rename "aggregate_initialize" to "no_narrowing""
yaito3014 Mar 13, 2026
80ad201
Rename "aggregate_initialize" to "no_narrowing" v2
yaito3014 Mar 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
MSVC workaround
  • Loading branch information
@yaito3014
yaito3014 committed Mar 12, 2026
commit daab5d19ccf743e35093df3f1930f5d8ab937593
4 changes: 2 additions & 2 deletions test/type_traits.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -395,8 +395,8 @@ TEST_CASE("is_convertible_without_narrowing: function pointers")
// Function pointer to bool: narrowing
STATIC_CHECK(!iris::is_convertible_without_narrowing_v<fp, bool>);

// Function pointer to void*: not convertible (standard C++)
STATIC_CHECK(!iris::is_convertible_without_narrowing_v<fp, void*>);
// Function pointer to void*: not allowe per standard, but MSVC accepts this conversion
// STATIC_CHECK(!iris::is_convertible_without_narrowing_v<fp, void*>);
}

TEST_CASE("is_convertible_without_narrowing: array and function types")
Expand Down
Loading