Nicholas Bishop 1382a8645a Replace convert_checked with convert in some ImplicitAs impls (#6704) ...

`convert_checked` is for conversions that are checked at compile time.
Since these conversions do not require a constant value they should use
`checked` instead.

(Split out from
https://github.com/carbon-language/carbon-lang/pull/6673, explanation of
convert/convert_checked derived from the [Jan 20, 2026 meeting
notes](https://docs.google.com/document/d/1YlxEOJ0r-o19o19TCJbFl4Ln1U88yn_Vj23y1Hr5vTk/edit?tab=t.tjeylv584s7j#heading=h.ih31dlc0ma58).)

2026-02-06 21:50:59 +00:00

..

prelude

Replace convert_checked with convert in some ImplicitAs impls (#6704)

2026-02-06 21:50:59 +00:00

BUILD

Move the :install_paths library to //toolchain/base (#6457)

2025-12-03 17:14:34 +00:00

io.carbon

Add Core.PrintStr and a "hello world" example (#6493)

2025-12-12 20:07:05 +00:00

prelude.carbon

Add Copy interface and use it for making copies. (#6034)

2025-09-10 23:55:55 +00:00

range.carbon

Reimplement destroy as an interface (#5678)

2025-06-27 21:57:14 +00:00