Skip to content

Invalid type abbreviation delcaration allowed #6133

New issue
New issue
Closed
#7953
Closed
Invalid type abbreviation delcaration allowed#6133
#7953
Labels
Bug
Milestone
16.5

Description

@cartermp
cartermp
opened on Jan 18, 2019
type Oops = Span<int> * Span<int>

let f (x: Oops) = ()

let failsAsIntended (x: Span<int> * Span<int>) = ()

failsAsIntended will fail to compile, since you can't tuple a Span. But f and the Oops declaration do compile.

Activity

  1. cartermp
    added
    Bug
    Area-Compiler
    on Jan 18, 2019
  2. cartermp
    added this to the 16.0 milestone on Jan 18, 2019
  3. cartermp
    modified the milestones: 16.0, 16.1 on Feb 21, 2019
  4. cartermp
    modified the milestones: 16.1, 16.2 on Apr 23, 2019
  5. cartermp
    modified the milestones: 16.2, Backlog on Apr 30, 2019
  6. cartermp
    closed this as completedin #7953on Dec 16, 2019
  7. cartermp
    modified the milestones: Backlog, 16.5 on Jan 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Bug

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions