Skip to content

Make receive executable#578

Merged
bors[bot] merged 3 commits intomasterfrom
joao-make-receive-executable
Nov 16, 2022
Merged

Make receive executable#578
bors[bot] merged 3 commits intomasterfrom
joao-make-receive-executable

Conversation

@jcp19
Copy link
Contributor

@jcp19 jcp19 commented Nov 16, 2022

Gobra rejects the following program with a type error because the receive operation is not considered executable:

func c() <-chan struct{}

func test1() {
	<-c()
}

This PR addresses that

@jcp19 jcp19 requested review from ArquintL and Dspil November 16, 2022 13:17
@jcp19
Copy link
Contributor Author

jcp19 commented Nov 16, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Nov 16, 2022

Build succeeded:

@bors bors bot merged commit 8578145 into master Nov 16, 2022
@bors bors bot deleted the joao-make-receive-executable branch November 16, 2022 23:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants