Fix attributes silently dropped on unparenthesized tuple return types

[edgarfgp]

Fixes #462

Problem

When a method return type is an unparenthesized tuple, any attributes placed before it are silently dropped and never emitted to IL:

// Attributes are DROPPED — bug
static member Format name :
    [<ReturnDescription("...")>]
    string * string = ...

// Attributes are KEPT — works
static member Format name :
    [<ReturnDescription("...")>]
    (string * string) = ...

Root cause

In pars.fsy, the topType → topTupleType grammar rule handles the return type annotation. When the return type is a bare multi-element tuple, rmdata (the list of SynArgInfo per tuple element) has more than one entry, so the rule fell into a catch-all branch that replaced everything with SynInfo.unnamedRetVal — an empty SynArgInfo with no attributes:

// Before
ty, (SynValInfo([], (match rmdata with [md] -> md | _ -> SynInfo.unnamedRetVal)))

The attributes were parsed correctly into the first element's SynArgInfo but then discarded here, never reaching SynBindingReturnInfo or IL emission.

Fix

Promote attributes from the first element's SynArgInfo to the overall return SynArgInfo when they are non-empty, since attributes placed before the whole tuple belong to the return position:

// After
let retArgInfo =
    match rmdata with
    | [md] -> md
    | SynArgInfo(attrs, _, _) :: _ when not attrs.IsEmpty -> SynArgInfo(attrs, false, None)
    | _ -> SynInfo.unnamedRetVal
ty, SynValInfo([], retArgInfo)

Tests

• ReturnType04.fs — runtime reflection test asserting attributes appear on the return parameter for both parenthesized and bare tuple forms
• Attribute/ReturnTypeAttributeOnBareTuple.fs + .bsl — SyntaxTree parser test documenting that SynValInfo now carries the correct SynArgInfo with attributes in the return position for bare tuples

[github-actions]

❗ Release notes required

---

✅ Found changes and release notes in following paths:

Change path	Release notes path	Description
src/Compiler	docs/release-notes/.FSharp.Compiler.Service/11.0.100.md