Code

Add native lock speclet#7849

Code

Merged

jjonescz merged 6 commits intodotnet:maindotnet/csharplang:mainfrom jjonescz:NativeLock-01jjonescz/csharplang:NativeLock-01Copy head branch name to clipboardJan 26, 2024

+121

Commits

Commits on Jan 16, 2024

• Add native lock speclet

  jjonescz

  committed
  8598466

  Copy full SHA for 8598466

Commits on Jan 17, 2024

• Add shape of Lock type

  jjonescz

  committed
  a5fac03

  Copy full SHA for a5fac03

• Warn also when upcasting to base class or interface

  jjonescz

  committed
  b435c3f

  Copy full SHA for b435c3f

Commits on Jan 18, 2024

• Clarify generic parameters

  jjonescz

  committed
  8e3c3fc

  Copy full SHA for 8e3c3fc

Commits on Jan 25, 2024

• Address feedback

  jjonescz

  committed
  36fd5c2

  Copy full SHA for 36fd5c2

Commits on Jan 26, 2024

• Remove await-in-using analysis

  Show description for fb25b81
  jjonescz

  authored
  fb25b81

  Copy full SHA for fb25b81