Method checkTypeAlignment

tools/checklocks/analysis.go:87–91

checkTypeAlignment checks the alignment of the given type. This calls typeAlignment, which resolves all types recursively. This method should be called for all types individual to ensure full coverage.

(pkg *types.Package, typ *types.Named)

// This calls typeAlignment, which resolves all types recursively. This method
// should be called for all types individual to ensure full coverage.
func (pc *passContext) checkTypeAlignment(pkg *types.Package, typ *types.Named) {
	if !hasTypeParams(typ) {
		_ = pc.typeAlignment(pkg, typ.Obj())
	}
}

// atomicRules specify read constraints.
type atomicRules int