PR# 15452 Trying to create Result in function with generic return type constrained by NONE causes crash

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2009/03/03

Class: Bug

Severity: Serious

Number: 15452

Release: 6.4.77440

Confidential: No

Status: Open

Responsible: alexk_es

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.1.14) Gecko/20080520 Firefox/2.0.0.14 Solaris 10 on SPARC

Synopsis: Trying to create Result in function with generic return type constrained by NONE causes crash

Description

Doing `create Result' in a function whose return type is a formal generic
parameter that is constrained by NONE crashes the compiler in
{AST_FEATURE_CHECKER_GENERATOR}.process_abstract_creation, due to a call on
Void target.

Added eweasel test term174 for this bug.

To Reproduce

Run eweasel test term174.

Problem Report Interactions