Dana JansensandDavid Blaikie fb12984713 Forbid nested where inside a where expression through eval (#7397) ...

In #7378 we forbid writing `where` on the RHS of another `where`
expression. However it's still possible to inject a `where` expression
through eval, using an `alias` or an `eval fn`. We address this by
looking in the constant value of constraints of a `WhereExpr` (which
sees the outcome of eval) and searching for a nested `where` there. We
can determine a facet type was written with a nested `where` by seeing
that it has some non-extend constraint.

---------

Co-authored-by: David Blaikie <dblaikie@gmail.com>

2026-06-26 18:31:26 +00:00

..

alias

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

array

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

as

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

basics

Basic support for symbolic forms (#7408)

2026-06-25 22:46:48 +00:00

builtins

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

choice

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

class

Fix accessing members of const/partial types (#7406)

2026-06-25 00:07:39 +00:00

const

Fix accessing members of const/partial types (#7406)

2026-06-25 00:07:39 +00:00

deduce

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

eval

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

facet

Forbid nested where inside a where expression through eval (#7397)

2026-06-26 18:31:26 +00:00

for

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

function

Basic support for symbolic forms (#7408)

2026-06-25 22:46:48 +00:00

generic

Ensure a location for monomorphization diagnostics in call argument deduction (#7401)

2026-06-25 22:37:14 +00:00

global

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

if

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

if_expr

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

impl

Basic support for symbolic forms (#7408)

2026-06-25 22:46:48 +00:00

index

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

interface

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

interop/cpp

Fix accessing members of const/partial types (#7406)

2026-06-25 00:07:39 +00:00

let

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

main_run

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

named_constraint

Support imported insts in FindStorageArgForInitializer (#7399)

2026-06-21 22:56:02 +00:00

namespace

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

operators

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

package_expr

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

packages

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

patterns

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

pointer

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

primitives

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

return

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

struct

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

tuple

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

var

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

where_expr

Forbid nested where inside a where expression (#7378)

2026-06-25 18:56:36 +00:00

while

Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)

2026-02-25 15:15:29 +00:00