Proposal: Add `std.meta.satisfies` Function (opens in new tab)

Specific Content Function signature: pub fn satisfies(comptime T: type, comptime I: type) bool { ... } pub fn assertSatisfies(comptime T: type, comptime I: type) void { ... } assertSatisfies function is the same as satisfies, the only difference is that when it finds that the matching rule is not met, it will tell you the reason for the dissatisfaction in the compilation error message. Specific rules: The function returns true when the declarations of type I can match any subset of type T—tha...