google / gvisor

Application Kernel for Containers

Home Page:https://gvisor.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Checklocks does not support anonymous structs

ghananigans opened this issue · comments

Checklocks does not support anonymous structs

type foo struct {
    bar struct {
        mu sync.RWMutex
        // +checklocks:mu
        x int
    }
}

Sending this to Adin as he probably has more context on whether this is something we can support in the analyzer.