Skip to content

Forbid changing identifier field's type #1147

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 2 commits into from
Closed

Forbid changing identifier field's type #1147

wants to merge 2 commits into from

Conversation

malarzm
Copy link
Member

@malarzm malarzm commented Jun 14, 2015

Closes #745

@malarzm malarzm added the Task label Jun 14, 2015
@malarzm malarzm added this to the 1.0.0 milestone Jun 14, 2015
@alcaeus
Copy link
Member

alcaeus commented Jul 7, 2015

LGTM 👍

@jmikola
Copy link
Member

jmikola commented Jul 16, 2015

👍

malarzm added a commit that referenced this pull request Jul 18, 2015
@malarzm
Merge pull request #1147
b1e83f3
@malarzm
Copy link
Member Author

malarzm commented Jul 18, 2015

Merged manually in b1e83f3

@malarzm malarzm closed this Jul 18, 2015
@malarzm malarzm deleted the gh745 branch July 18, 2015 13:39
@malarzm malarzm mentioned this pull request Jul 18, 2015
Closed
malarzm referenced this pull request Jul 21, 2015
@malarzm
Throw exception when simple reference is targeting discriminated docu…
30c2a00 
…ment
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Task
Projects
None yet
Milestone
1.0.0
Development

Successfully merging this pull request may close these issues.
3 participants
@malarzm @alcaeus @jmikola