# syncRef: type constraint not precise