Is this a bug? or am I expecting something wrong?
What you have written here is correct. There must be something elsewhere in your file that is triggering this problem. Perhaps a pattern match or struct value -- what is the error pointing to at line 163? Can you show us more of the file?
Thanks for your reply quark! Your reply made me think and find out my mistake.
I was trying to initialise the tagged union LoadRequest instead of initialising the struct LoadRequestAssert first.