slang.git/tests/language-feature/extensions, branch master

fix overload in extension issue (#7999)

2025-08-04T03:35:08+00:00

close #7931. For a generic callable, we have two passes overload resolution, in first pass, we will resolve the generic by only checking the generic parameters, while in the second pass, we will resolve the function signature to resolve the overload. But in our candidate comparison logic, we pick a preferred generic even two generics are equally good. However, we should not make this decision in the first pass, because we don't know about the function arguments in this pass yet. So we just return OverloadEpxr2 in this case, and let the function overload resolution to break the tie.

Ensure generic constraints are checked before inner extension. (#7685)

2025-07-11T04:14:16+00:00

* Ensure generic constraints are checked before inner extension. * Add warning for non-standard generic extension. * Fix tests. * Fix test. * Ban interface types from equality constraints. * Fix.

Fix `extension` incorrectly interacting with `equality` and `type-coercion` constraints (#7578)

2025-07-09T00:18:02+00:00

* fix problem * cleanup comment * format code * make change more restrictive * format code * push logic update * format code * push test fix * make test more general --------- Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>

Fix an issue in extension override. (#7402)

2025-06-11T19:12:53+00:00

* Fix an issue in extension override. * Fix typo in comment.

Fixed name mangling of generic extensions (#6671)

2025-05-09T19:34:08+00:00

* Fixed name mangling of generic extensions * Added tests for generic extensions linking. - Disabled bugs/gh-6331.slang since it now triggers an assertion error revealed by the new version of the mangler. * Re-enabled test gh-6331 (fixed by a5efbb1b775afb2f6b29b37d39947c41744bb005) --------- Co-authored-by: Yong He

Feature/initialize list side branch (#6058)

2025-02-05T18:37:03+00:00

* SP004: implement initialize list translation to ctor - We synthesize a member-wise constructor for each struct follow the rules described in SP004. - Add logic to translate the initialize list to constructor invoke - Add cuda-host decoration for the synthesized constructor - Remove the default constructor when we have a valid member init constructor - Disable -zero-initialize option, will re-implement it in followup (#6109). - Fix the overload lookup issue When creating invoke expression for ctor, we need to call ResolveInvoke() to find us the best candidates, however the existing lookup logic could find us the base constructor for child struct, we should eliminate this case by providing the LookupOptions::IgnoreInheritance to lookup, this requires us to create a subcontext on SemanticsVisitor to indicate that we only want to use this option on looking the constructor. - Do not implicit initialize a struct that doesn't have explicit default constructor. Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>

Fix extension override behavior, and disallow extension on interface types. (#4977)

2024-09-04T20:25:37+00:00

* Add a test to ensure extension does not override existing conformance. * Fix doc. * Update documentation. * Fix doc. * Add diagnostic test.

Support extension on generic type. (#4968)

2024-08-30T23:32:34+00:00

enable more metal tests (#4326)

2024-06-10T20:28:36+00:00

Metal compute tests (#4292)

2024-06-07T07:28:16+00:00