Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Destructive module substitution allows module aliases to extended paths #6376
Original bug ID: 6376
Destructive module substitution does not check whether the module being replaced is used in an alias, which means you can create aliases to extended paths. Using the usual trick to convert module types into modules, we obtain a segmentation fault:
Comment author: @garrigue
Fixed in trunk, revision 14650, in Includemod.try_modtypes.