josh11bandJosh L df958940c3 Builtin facet type conversion is final (#5220) ...

Don't look for a user-defined conversion (implementation of `As` or
`ImplicitAs`) if the builtin conversion to a facet type fails impl
lookup. This is the behavior we want, and reduces noise in diagnostics.

Partial implementation of #5122. Still to do:
* Give an error if the users tries to implement such a conversion, since
it is now unreachable.
* Add notes to the diagnostic explaining why impl lookup failed.

---------

Co-authored-by: Josh L <josh11b@users.noreply.github.com>

2025-03-31 16:11:07 +00:00

..

alias

Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)

2025-03-26 22:53:32 +00:00

array

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

as

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

basics

Preserve source locations in imported eval blocks (#5213)

2025-03-28 23:41:40 +00:00

builtins

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

choice

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

class

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

const

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

deduce

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

eval

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

expr_category

Update text representation of CallParamIndex to match new name (#5067)

2025-03-04 23:28:42 +00:00

facet

Builtin facet type conversion is final (#5220)

2025-03-31 16:11:07 +00:00

function

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

generic

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

global

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

if

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

if_expr

Rebuild the type of a bind_symbolic_name when building an eval block (#5174)

2025-03-25 22:53:25 +00:00

impl

Builtin facet type conversion is final (#5220)

2025-03-31 16:11:07 +00:00

index

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

interface

Builtin facet type conversion is final (#5220)

2025-03-31 16:11:07 +00:00

interop/cpp

When compiling C++, output a diagnostic per C++ diagnostic (#5177)

2025-03-28 08:46:17 +00:00

ir

Return a set of ImplWitnesses from impl lookup (#5075)

2025-03-10 16:00:35 +00:00

let

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

namespace

Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)

2025-03-26 22:53:32 +00:00

operators

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

package_expr

Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)

2025-03-26 22:53:32 +00:00

packages

Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)

2025-03-26 22:53:32 +00:00

patterns/no_prelude

Add support for _ binding patterns (#5097)

2025-03-17 22:29:56 +00:00

pointer

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

return

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

struct

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

tuple

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00

var

Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)

2025-03-26 22:53:32 +00:00

where_expr

Builtin facet type conversion is final (#5220)

2025-03-31 16:11:07 +00:00

while

Change conversion diagnostic from saying "value" to "expression" (#5221)

2025-03-31 15:45:58 +00:00