Refactor well-definedness of field acesses and permission division#451

gauravpartha merged 3 commits into

masterviperproject/carbon:masterfrom

field_welldef_orderviperproject/carbon:field_welldef_orderCopy head branch name to clipboard